Yes BB(n) is always a natural number which is by definition finite.