Ky Fan inequality (source code)

= Ky Fan inequality
{wiki=Ky_Fan_inequality}