Radius-independent cutoff coefficients

For spatial radii at least one, the shell derivative constants are bounded independently of the radius.

theorem ESS.buShort_cutoff_gradient_ratio_le {R : ℝ} (hR : 1 ≤ R) : CKN.cutoffGradientConstant / (2 * R) ≤ CKN.cutoffGradientConstant

The spatial cutoff gradient bound at radius at least one is no larger than its fixed cutoff constant.

theorem ESS.buShort_cutoff_second_ratio_le {R : ℝ} (hR : 1 ≤ R) : CKN.cutoffSecondDerivativeConstant / (2 * R) ^ 2 ≤ CKN.cutoffSecondDerivativeConstant

The spatial cutoff Hessian bound at radius at least one is no larger than its fixed cutoff constant.