Is there math for interplanetary travel vs existential risk? — LessWrong