Optimization & Lagrange Multipliers · Challenge problem

A rectangular box stands on the $xy$-plane with its edges parallel to the coordinate axes, and its four top corners lie on the paraboloid $z = 4 - x^2 - 2y^2$. Find the largest possible volume of the box. Give an exact answer.