Loomis--Whitney inequality (source code)

= Loomis--Whitney inequality
{c}
{wiki=Loomis–Whitney_inequality}

The sets $[n]\setminus\{i\}$ form an $(n-1)$-uniform cover, so the <uniform covers theorem> gives
$$
|S|^{n-1}\leq\prod_{i=1}^n|S_{[n]\setminus\{i\}}|.
$$