Solution (source code)

= Solution

The closure is closed and bounded in $\mathbb R^2$, hence <compact> by the <Heine-Borel theorem>. It is nonempty. The <extreme value theorem> therefore gives a point of the closure at which the continuous function attains its maximum. The closure, rather than the open domain, is essential.