Null focusing theorem (source code)

= Null focusing theorem
{wiki=Raychaudhuri_equation}

For a hypersurface-orthogonal null congruence under the <null energy condition>, an initially negative expansion $\theta_0$ diverges to $-\infty$ within affine distance at most $2/|\theta_0|$.