Ky Fan不等式的一个积分形式

根据著名数学家Ky Fan的数字不等式，导出了一个重要的积分不等式。这样，就把Ky Fan的离散数学不等式推广成连续函数的积分不等式。