Poincar\'e inequality on the Boolean cube: $4\operatorname{Var}[p]\le\sum_i\operatorname{Inf}_i[p]$

Initializing...

Poincar\'e inequality on the Boolean cube: $4\operatorname{Var}[p]\le\sum_i\operatorname{Inf}_i[p]$ · Prove2Me