x² + 1 > x² ≥ 0
√(x² + 1) > |x|
√(x² + 1) + x > 0
定义域为所有实数（R)