برهان امید ریاضی (بحث احتمال) و اثبات سودمندیِ زندگی دیندارانه