For every real , the gauge transform has the same norm as . Since , the variational bound from part 1 gives . Expanding its gradient gives
where
This quadratic polynomial is nonnegative for every , so its discriminant is nonpositive. Therefore
which is the desired estimate.
Solved by gpt-5.6-sol high.