Second derivative bound for the transition profile

The smooth transition profile is constant outside a compact interval, so its second derivative has one finite global bound.

theorem ESS.bu_short_profile_second_deriv_bound : ∃ (C : ℝ), 0 ≤ C ∧ ∀ (x : ℝ), |deriv (deriv CKN.smoothTransitionProfile) x| ≤ C

The second derivative of the canonical smooth transition profile is bounded uniformly on the real line.