the predetermined inequality