Mathematical Proof of Algorithm Correctness and Efficiency | Hacker News Reader