where  is chosen, among all possible values satisfying the constraints, as small as possible such that  and such that  is distinct from all previously chosen denominators.
When selecting a value, we aim to find the smallest option that satisfies the given constraints and ensures that is different from any previously selected denominator.