A proof that the quicksort algorithm terminates on all inputs | Heykuki News