Well, he should consider himself lucky, since he’s still in one of the early rooms. In fact, almost as good as the first one, since the amount of rooms with numbers smaller than 2×TREE(3) as a percentage of all the rooms, is zero. Almost every other guest has it worse.