>>662-663
原理的には、普通のハード・アナリシスで
「≧」の形の不等式から「<」の形の不等式
を導いて「=」という形の等式を出すことと同じ