Margulis–Russo formula
= Margulis–Russo formula
{c}
{wiki}
For the indicator $f$ of a monotone family under a <p-biased product measure>, the Margulis–Russo formula identifies the derivative of $\mathbb E_{\mu_p}f$ with the suitably normalized <total influence> of $f$.