Solving Pascal’s Wager using dynamic programming — LessWrong