A^a ile A kümesinin alt sınırlarının kümesi kastediliyor.
Buradaki sorun benim daha önce (http://matkafasi.com/108877/sureklilik-tanimina-itirazi-olanlar#c109236 sorusundaki uzun yorumumda ) belirttiğim gibi, bir fonksiyonun bir sayıda limitinden söz etmek istiyorsak, o sayı fonksiyonun tanım kümesinin bir yığılma noktası olmalıdır, bunu gözardı edersek HER sayı (çoğu zaman \varepsilon-\delta ile ifade edilen) limit koşulunu sağlar. Bu durum sonsuzdaki limitler için de (azıcık değişik şekilde) ortaya çıkar.
Yığılma noktası olma koşulu yerine:
\displaystyle\lim_{x\to+\infty} f(x) limitlerinde f nin tanım kümesi üstten sınırsız olmalıdır.
\displaystyle\lim_{x\to-\infty} f(x) limitlerinde f nin tanım kümesi alttan sınırsız olmalıdır.
Aksi halde her sayı (hem de her iki sonsuz) da limit olma koşulunu sağladığı gösterilebilir.
Bu soruda fonksiyonun (\ln) tanım kümesi alttan sınırlı. O nedenle \displaystyle\lim_{x\to-\infty} \ln x sorusu "anlamsızdır" (başka sözcüklerle de ifade edilebilir).
Bu cümlenin "limiti yoktur" dan farklı bir anlamı vardır.