O produto de três termos consecutivos de uma progressão aritmética de razão 1 e termos estritamente positivos é igual a oito vezes a soma desses termos.

O maior dos três termos considerados, portanto, vale