----------------------Definición provisional[La función efe tenderá indefectiblemente hacia lím de ele cerca de «a»
si tú y yo conseguimos que efe de equis esté tan cerca de ele
como los dos queramos.]
[En otras palabras: ni a ti ni a mí nos interesa el valor de efe de «a»,
ni siquiera la cuestión de si efe de «a» está definido.
------------------------------------------------- casi...(Spivak, 99)]
porque, ¿recuerdas?: [valor de efe de equis
....., si el dominio no se restringe explícitamente más, se sobreentiende
formado por todos aquellos para los cuales la definición tiene sentido.
Y, ¿«todos aquellos» -incluso restringiendo- no somos nosotros?
------------------------------------------------ casi... (Spivak, 47-50)]
¡Ay, amor, qué fácil es!
Únicamente hemos de conseguir que efe de equis
esté próximo, muy próximo, infinitesimalmente próximo a ele
cuando equis está próximo -infinitesimalmente próximo- a «a»
pero es distinto de «a».
[Esta función es tan importante (todo lo que emprendamos a partir de ahora va a depender de ella) que sería en vano pasar adelante sin saberla. ¡Apréndala el lector de memoria si es necesario, como si fuese un poema!
---------------------------------------------------(Spivak, 110)]
-------------------------- Corolario (mío)[Que la función efe de equis tienda hacia lím de ele en «a» significa que:
por más que el mundo se empeñara en llevarle la contraria al álgebra
-o a nosotros-
y aunque jamás existiesen un épsilon y un delta mayores que cero,
tú y yo nos amamos, y, por lo tanto,
somos -sin ningún género de dudas- valor absoluto uno del otro.
----------------------------------------(
queda demostrado)
indah