The integrand is nonnegative, so . For each positive integer , set
This is a continuous piecewise affine sawtooth with zero endpoints, , and almost everywhere. It belongs to , and almost everywhere. Therefore
Together with nonnegativity this proves . The functions converge uniformly to zero while their derivatives retain magnitude two; small amplitude does not force small gradient.
Figure 1.
Uniformly small competitors can retain fixed nonzero slopes: repeated teeth and a shrinking localized bump
. Details.

Articles by others on the same topic (0)

There are currently no matching articles.