内斯比特不等式推广到n证明