 Tensorization of a Poincaré inequality

If each probability measure ${\mu }_i$ has Poincaré constant $C_i$, then the product measure ${⨂}_i{\mu }_i$ has Poincaré constant at most ${\max }_i{C}_i$. This follows by iterating the law of total variance and applying Jensen inequality to derivatives of conditional expectations.