[math-fun] Earthquake magnitudes