 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.