The abc conjecture and correctly rounded reciprocal square roots. - Ernie Croot; Ren-Cang Li; Hui June Zhu (Theor. Comput. Sci., 2004)