It can be easily verified from (9) that when R1 equals to R2, then m= s. Moreover, note that given that the width of the search interval (9) is 1 t R2/R1, which is smaller than or equal 2 since R2 _ R1, then there exists at most two integer values in this interval given by: