小澤の不等式