El límite superior más ajustado demostrado hasta ahora es formula_10