4ln(x) \geq ln(x + \sqrt{(1 + x^2)}