How big are factorials? Note