Enviar por SMS: Nonstandard methods in functional analysis