Text this: Un acercamiento funcional a inecuaciones