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