无所不在的不等式:差异的存在