A Formula for the Value of Existential Risk Reduction — LessWrong