extrema -x^2-y^2+2y, at x^2+y^2<=16