Prove Theorem 3.1.

For any two functions and , we have if and only if and .

To prove this theorem, we need to show the logic holds both ways.

If , then for . As for , . And as for , .

Now we need to prove the other way around.

If , then for . And if , then for .

Combining the above two inequalities, we can say for , i.e. .

If you have any question or suggestion or you have found any error in this solution, please leave a comment below.