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.