2つのカッコの式があって、その一方でが負の値で、更にカッコの式がの積が負となれば、もう一方の式は正とならなければ、不等式は成り立ちません。