Ky Fan's inequality, means