抜粋
Goto and Ohno (2006) verified that the largest factor
must be at least 10000019 using an extension
to the methods of Jenkins.

和訳
後藤と大野(2006)は、最も大きい要素が
少なくともジェンキンズの方法に拡張子を使用する
10000019であるに違いないことを確かめました。

これってどれくらいすごいことなの？