やっぱり出ません
2ab≦a^2+b^2は相加相乗から出したのでしょうか?
それだと、abが(a^2+b^2)/2以下だと言うだけで、具体的な範囲が出ず等号成立条件もおかしな事になってしまいました…