『古田の不等式』は既出?