A Rigorous Derivation of the Bubble Sort Curve | Hacker News Reader