By continuity on the compact closure, has a maximum and minimum. If its maximum were greater than one, the boundary hypothesis would force that maximum to occur at an interior point . There , whereas
a contradiction. If its minimum were less than minus one, it would again be interior, where but . Therefore
This is a direct maximum/minimum argument for a nonlinear elliptic boundary value problem; treating its nonlinearity as a zeroth-order coefficient of fixed nonpositive sign would not be justified.
The Fredholm alternative for an elliptic Dirichlet problem and part (b) give an inverse of norm at most . Choose
On the closed radius- ball , set . The stated inequalities give
and
Thus is a contraction mapping of the complete metric space into itself. The Banach fixed-point theorem gives , solving the required nonlinear elliptic boundary value problem. This small-data existence for a nonlinear elliptic Dirichlet problem also gives uniqueness within this small ball; it does not assert global uniqueness.