5 Gaussian comparator

The remaining step is to show that the Gaussian stop-loss transform at scale \(c_0\) dominates the sharp envelope \(J_G\). The Gaussian side has a closed form, and the proof splits into an affine-contact argument on \([0,a]\) and a monotone-ratio argument on \([a,\infty )\).