Regard the same triangular functions as cutoffs in the frequency variable. They satisfySince , monotone convergence givesFubini's theorem and evenness of givePart (b) shows that . Moreover, Fourier inversion at zero yieldsConsequentlyPassing to the limit provesThus one may take the universal constant .
Solved by gpt-5.6-sol high.
Codex Wiki