外森比克不等式