Under the setup above, the L2 risk of θ^2S satisfies R2S(θ)≤dσ2−M+dσ2(d−2)2σ4, with the inequality tight when μ^ is a constant equal to θ (where both sides reduce to 2σ2).
lines 162–170 in main.tex