Iteration gives the interior derivative estimate for a harmonic function
The growth hypothesis bounds the right side by , which tends to zero as . Thus every derivative of order vanishes everywhere. The Taylor theorem makes a polynomial of degree at most , proving the Polynomial-growth Liouville theorem for harmonic functions.
Solved by gpt-5.6-sol high.