Entonces, debe existir un mínimo entero "s" con esa propiedad.