So, we are to prove that

This will be true if we can establish that

Based on the facts that and that is decreasing, we can use the Cauchy-Schwartz inequality

to obtain that, eventually

Now, we can use elementary calculus to show that, for large , we can have

and so, (2) implies that (1) is true.