$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.