Implementation using denominator bound