Null focusing theorem
= 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|$.