La función techo se aplica a un número real "x" y devuelve el mínimo número entero "y" no inferior a "x":