Lorentz factor
and the "Lorentz factor" is defined as