Superharmonic function