ky fan inequality and proof