Zdroj TeX:
a^2+1≥1>0