For define .

It is defined for , this is because .

Therefore, on the closed disk the function is a continous function that is analytic on the open disk . By the maximum modulos theorem theorem the largest value that attains happens on the boundary of the disk i.e. on .

We know that , therefore, if we have:

.

Therefore, for all and furthermore if and only if .