>>831の不等号の向きが逆じゃない?