Loomis–Whitney inequality