Let be a multilinear function.
Then
where is always taken to be on the -Biased Cube.
Proof
We have
from the -Biased Cube
Thus write
where is the Discrete Derivative.
But
so because unless we get
Corollary
Let be monotone and be the Influence.
Then
Proof
Since is monotone, we have so we can write: