formula_123 es acotada superiormente si