 Hopf boundary point 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.