Consider the disk . Let be a function twice differentiable in and continuous in , solving
Let and . Since harmonic, also harmonic, and we have
Since .
Since harmonic, bounded, the maximum principle states that
: Assume that . Then
Since we know that in , must be a minimum of .
Since attains its minimum inside , by strong max. principle (since connected), in .
Hence,
: Assume . Then is:
By maximum principle
so
Thus , and in particular,