Approximate_inequality