Enviar por SMS: Constructive real analysis