a,b,c は互いに素な自然数で、かつ a+b=c をみたすとする。
このとき、任意の ε > 0 に対しある定数 K > 0 が存在して

c ≦ K*R(abc)^(1+ε)

となる。ただし、R(n)は自然数nの異なる素因数をぞれぞれ1回ずつかけたものである。
たとえば、R(1200)=R((2^4)*3*(5^2))=R(2*3*5)=2*3*5=30 である。

を示してください