Mashreghi–Ransford inequality (source code)

= Mashreghi–Ransford inequality
{wiki=Mashreghi–Ransford_inequality}