Ky Fan inequality