Put . A shock formation by characteristic intersection first occurs when the map from emission time to position loses monotonicity:
Thus
For , write to obtain
Minimizing over gives and hence