Cramér–Rao: Gaussian location CRB = σ²; N-i.i.d. sample CRB = σ²/N

Sympy-exact symbolic witness of the Cramér-Rao lower bound applied to the canonical Gaussian-location model relevant to every optical-clock Ramsey-spectroscopy estimator. Setup: x ~ N(μ, σ²), positive-declared sympy symbols σ, N, with…