Variance tensorization
= Variance tensorization
For independent coordinates $X_1,\ldots,X_n$ and square-integrable $f$,
$$
\operatorname{Var}f(X)
\leq\sum_i\mathbb E\!\left[\operatorname{Var}(f(X)\mid X_j,\ j\ne i)\right].
$$
For Bernoulli coordinates, each conditional variance is an explicit squared coordinate difference.