After regularizing we may assume that all functions involved are model functions.
Write, symbolically, .
Then
|
|
|
Since , the first term in the right-hand side satisfies
|
|
|
By the Cauchy-Schwarz inequality (Corollary 3.3), the second term
is bounded by
|
|
|
By the assumption that and we have
|
|
|
Similarly,
|
|
|
|
|
|
|
|
Putting this together, and using the concavity of the square root,
we get
|
|
|
The lemma follows
(with the constant )
by repeating this argument
times, successively replacing by .
∎