Notes - Imperative Programming HT23, InvariantsU Notes - Imperative Programming HT23, Maximum segment sumU