[math-fun] 2.7 bya atmosphere ~0.5 bar