On an inequality of Ky Fan