Sendo 𝑛 inteiro positivo, defina S(𝑛) como o menor inteiro positivo tal que S(𝑛) e n têm a mesma paridade, S(𝑛) ≥ 𝑛 e tais que não existam inteiros positivos  tais que  = 𝑛 e  = S(𝑛). Prove que existem uma constante real c > 0 e um inteiro positivo n₀ tal que S(𝑛) ≥  para todo 𝑛 > n₀.