Proof of Lemma 2.9. A function f(t) is portrayed (bold) with its linear interpolation At + B =At + B
(green) in the interval [t
], s.t.f (t)≥At + B for allt ∈[t
]. Equation (18) is illustrated for a <A on the right, and equation (19) is illustrated for a >A on the left.