Anticoncentration of a low-degree function
= Anticoncentration of a low-degree function
If a nonzero function on the <Boolean hypercube> has degree at most $k$, then its support has measure at least $2^{-k}$. This sharp bound follows by induction on the dimension.