Raup theorem: S=e^(−λt); h=λ; t_½=log(2)/λ; ⟨T⟩=1/λ; kill-curve f=C/x^k

Sympy-exact symbolic witness of the Raup-Sepkoski exponential-survivorship canonical identities and kill-curve power-law form. Setup: t, λ, x, C, k — all positive symbols. Survivorship function: S(t) = exp(−λ·t) (sympy canonical…