You need to show that for all a. Yes, inside any interval around an irrational (or rational) number there exist a rational number. But, since there are only a finite number of m such that m/n is in such an interval, as the interval gets smaller, n must get larger and larger.