展开 克劳夫特不等式