constraint for discontinuous hypothesis
i.e. [l, m, n, r] s.t. m-l < D or r-n < D