x^2+2 y^2=4上で，x yを最大化する