https://www.glc.us.es/~jalonso/calculemus/21-nov-22/
Si a es una cota superior de s y a ≤ b, entonces b es una cota superior de s