Margulis-Russo formula
= Margulis-Russo formula
{c}
{wiki=Margulis–Russo_formula}
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$.