\Delta t = \frac{\Delta t_0}{\sqrt{1 - v^2/c^2}}.