Puede demostrarse que existe una constante formula_16 si se cumple: