Prefer a chat interface with context about you and your work?
A theorem on subharmonic functions
A real function u is said to be subharmonic in a finite plane domain Dif [2