Inner product/K/Cauchy-Schwarz/Fact/Proof

Proof

For , the statement holds. So suppose , hence, also holds. Therefore, we have the estimates

Multiplication with and taking the square root yields the result.