Rearrangement inequality (source code)

= Rearrangement inequality
{wiki=Rearrangement_inequality}