His answer was 9^(9^9). Of course, I thought this question warranted further discussion and I mentioned that Knuth's up arrow notation allows an even bigger number and demonstrated it on the board. The professor seemed annoyed and I asked him about it later; I believe he mistook my interest in contributing to the discussion as trying to one-up him (which was NOT my intention at all).
I've been much quieter in that class since :(