Kallman–Rota inequality (source code)

= Kallman–Rota inequality
{wiki=Kallman–Rota_inequality}