[math-fun] Estimating Inauguration crowds