generalized bv inequality reasoning to handle both strict and non-strict inequalities