Revised inequality in upper bound check