BF3 Lemma 9.5: A'(w) = -2e^{-w^2/2}/(1+w^2)^2, B'(w) = -6e^{-w^2/2}/(w^2(w^2+3)^2): verified
BF3 Lemma 9.6: k'(w) = (w^3+3w) m - (w^2+2): verified
