rationals are finite