Well done, yes, I did exactly what you suggested! I figured that an average human lifespan was “around 80 years” and then multiplied and divided by 1.125 to get 80×1.125=90 and 80⁄1.125=71.111.
(And of course, you’re also right that this isn’t quite right since (1.125 − 1⁄1.125) / (1/1.125) = (1.125)²-1 = .2656 ≠ .25. This approximation works better for smaller percentages...)
Well done, yes, I did exactly what you suggested! I figured that an average human lifespan was “around 80 years” and then multiplied and divided by 1.125 to get 80×1.125=90 and 80⁄1.125=71.111.
(And of course, you’re also right that this isn’t quite right since (1.125 − 1⁄1.125) / (1/1.125) = (1.125)²-1 = .2656 ≠ .25. This approximation works better for smaller percentages...)