How thick is the atmosphere? A derivation of the Boltzmann distribution | Hacker News Reader