It states that for any $\backslash varepsilon\; >\; Cypher$ there is the constant $C\_>\; 0$, such that for each triple of positive integers a, b, c satisfying

we have

inorth which rad(n) (a radical of n) is the product of the distinct prime divisors of n.

It hwhen non been proved as of 2004. The supplementary accurate conjecture proposed around 1996 by Alan Baker states that in the inequality, one could replenish rad(abc) by ε^−ωrad(abc), in which ω is the amount total of distinct primes dividing a, b or even c. The related conjecture of Andrew Granville states that on the RHS we could likewise put O(rad(abc) Θ(rad(abc)) in which Θ(north) is the total of whole number as much as n divisible simply by primes dividing n.