>>492
1999 日本大学・医学部
で出題されてるね。
「数学を決める論証力」(東京出版)p94に載っている。
(ただし原題はもっとヒントつき)

ちなみに1≦x≦y≦6に限定した問題が中学入試で
1987 栄光学園
で出てる。

ちなみに1<x<y≦20にした問題がここにある。
http://www.usamts.org/Solutions/Solution4_1_17.pdf