Babenko–Beckner inequality (source code)

= Babenko–Beckner inequality
{wiki=Babenko–Beckner_inequality}