Matematiikassa Ky Fanin epäyhtälö kuuluu seuraavasti: Olkoon 0 < x i ≤ 1 2 {\displaystyle 0<x_{i}\leq {\frac {1}{2}}} kaikilla i = 1 , ⋯ , n {\displaystyle i=1,\cdots ,n} . Tällöin
Epäyhtälössä pätee yhtäsuuruus jos ja vain jos kaikki x i {\displaystyle x_{i}} :t ovat yhtä suuria. Yleisempi versio epäyhtälöstä on Levinsonin epäyhtälö.