Sorting Lower Bound Proof