ﾅﾙﾎﾄﾞ、ﾜｶﾗﾝ　…(・ω・｀；)

a + b = cを満たす、互いに素な自然数の組 (a, b, c) に対し、積 abc の互いに異なる素因数の積を d と表す。
このとき、任意の ε > 0 に対して、c > d^1+εを満たす組 (a, b, c) は高々有限個しか存在しないであろうか？