y el conjunto contorno inferior estricto de formula_3 es