Would we expect that Graham's number is less than 47,176,870, since BB(5) = 47,176,870?