Maximum Subarray Sum, Θ und Ω-Notation, counting function calls, more induction