Solution (source code)

= Solution

At an interior local maximum, the second <derivatives> in both coordinate directions are nonpositive: restrict the function to each coordinate line and apply the one-variable second-derivative test. Thus $\nabla^2\phi\leq0$ there, contradicting $\nabla^2\phi\geq\epsilon>0$. Since a maximum exists on the closure, \b[a maximum lies on the boundary].