Lorentz factor
The Lorentz factor is defined as