Wikipediaからの引用だけど
「a + b = c
を満たす、互いに素な自然数の組 (a, b, c) に対し、積 abc の互いに異なる素因数の積を d と表す。このとき、任意の ε > 0 に対して、
c > d＾(1+ε)
を満たす組 (a, b, c) は高々有限個しか存在しないであろうか？」
これじゃ理解しづらいんで具体例で話すと
3＋4＝7があるとすると、それぞれの素因数は3、2、7だから上で書かれてるdというのは3×2×7＝42になる
これをrad(3×4×7)と書く
つまり、d＝rad(3×4×7)＝42