Hopf boundary point lemma
= Hopf boundary point lemma
{c}
{wiki=Hopf_lemma}
If a nonconstant solution of a uniformly elliptic inequality attains a boundary extremum at a point satisfying an interior sphere condition, its outward normal derivative has a strict sign.