x≧0、y≧0、x^2+y^2=1 のとき、xy/(x+y) ≦ 1/(2√2) をエレガントに証明できないかな？