Por ser formula_50, todo elemento formula_51 lo es tambien de formula_1; y por lo tanto, formula_53, luego formula_35 es acotado superiormente.