
とする.
(1)

で,

,x>0,y≧1ならば,

,0≦y'<yが成立することを示せ.
(2)x,yが

をみたす自然数ならば,ある自然数nをとると,

となることを示せ.
(1)

.

であり,x+2y>0よりy'≧0.

であり,x+y>0よりy>y'.
(2)
(1)の条件下で,

であり,2x+3y>0よりx'>0.
(1)の結果を合わせて,

,x>0,y≧1ならば,

,0≦y'<y,x'>0.

とおく.
常に

と仮定すると,

より

となり矛盾.

なので,ある自然数nをとると,

となる.
ここで,

より

,

,

だから

.
最終更新:2013年09月29日 16:18