Deduce a closed formula 1 such that there exists an interpretation I = (N, +, , f^I) in K with I |= if the second HaRdy-Littlewood conjecture is false.

= 5. En dduire une formule close 41 telle qu'il existe une interprtation I = (N, +, x, ft) dans K avec I = 6 ssi la seconde conjecture de HARDY-LITTLEWOOD est fausse. = 5. En dduire une formule close 41 telle qu'il existe une interprtation I = (N, +, x, ft) dans K avec I = 6 ssi la seconde conjecture de HARDY-LITTLEWOOD est fausse