How big are factorials? | Hacker News Reader