the predetermined inequality
698