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