Harmonic functions are real analytic (source code)

= Harmonic functions are real analytic

Harmonic functions admit locally convergent power-series expansions.