[math-fun] atomic clocks & gravitational time dilation