ABC予想
自然数の三つ組 (a, b, c) で, a + b = c, a < b,で a と b は互いに素(coprime)を満たすものを abc-triple と呼ぶ。

事実: r(abc) < c を満たす abc-triple は無限個ある。 (a, b, c) = (1, 32n - 1, 32n) はこれを満たす。

予想: abc-triple (a, b, c) の全てが c < r(abc)2 を満たす。

http://blog-imgs-44.fc2.com/n/e/w/news020/Sp20120919008001.jpg