Kadane's Algorithm and Its Proof - Max/Min Sum Subarray Problem