x^2 + 1 > 0 \quad \forall x \in \mathbb{R}