La versión clásica establece que si "g"("n") y "f"("n") son funciones aritméticas satisfaciendo