克拉夫特不等式的应用