Hola, Rincón
Hay un libro clásico, que es muy bonito, sobre este tema aunque no veo muy claro si te pueda servir para resolver dudas ya que es aún más abstracto de lo que has visto, se titula Asymptotic Methods in Analysis de N.G. de Bruijn.
Efectivamente, fascinante, pero muy difícil para mí.
- Decimos que \( f(x)=\mathcal{O}(g(x)) \) cuando \( x \) tiende a \( a \) si existe una constante \( K \) y un entorno \( U \) de \( a \) tal que \( |f(x)|\leqslant K\cdot |g(x)| \) para todo \( x\in U \).
Aquí están de nuevo mis dudas. El caso es que tengo miedo de no expresarla de una manera comprensible. Es una duda lo que se dice auténtica. Ahí va:
¿\( U\subset{\mathbb{R}} \)?, es decir, ¿es un subconjunto estricto de los reales? Por subconjunto estricto entiendo, en el caso que planteo, que siempre habrá elementos de \( \mathbb{R} \) que no pertenezcan a \( U \).
Y otra duda; dejé pendientes dos preguntas en el hilo "Gran O dos razonamientos sobre la rapidez de Taylor-Maclaurin", iniciado por mí, por no dar la tabarra. Pensé que, creí que, estaba resultando cansino. E inicié este hilo, confiando en mi criterio. La pregunta que lanzo, o mejor dicho, mi deseo, es volver al hilo "Gran O...", y allí... Allí intentar librar el nudo.
Ya se ve, improviso por el camino

¡Un saludo!