Mathlib

Raise x a little. The square grows slowly near zero, quickly far out.