>>425
(x+1/x)>=2より(x+1/x)(y+1/y)>=4
等号はx=1/xのとき、よってx=1でy=0

あれー?

でいいですか?