Arrhenius: k(T → ∞) = A; k(T → 0⁺) = 0; ln[k(T)/k(2T)] = -E_a/(2RT)

Sympy-exact symbolic witness of the two Arrhenius-law limiting behaviours plus the T-doubling log-ratio fingerprint. Setup: k(T) = A_arr·exp(-E_a/(R·T)) as a sympy expression with A_arr, E_a, R, T all positive symbols. Limits:…