Sejam a1,a2,a3,...,an números reais positivos e pn=a1⋅a2⋅a3⋯an.
Se p>0 é uma constante real tal que pn=2npn2+n, então podemos afirmar que os números a1,a2,a3,...,an, nesta ordem: