“…In [0, T 1 ] based on (6), we haveB sr (t) = B * sr,s (t) and thusB sr (t) is feasible. For t ∈ [T 1 , T ],B sr (t) is linear and based on [20,Lemma 4], B * sr,s (t) is a convex curve. Thus, d dt l(t) ≤ d dt B * sr,s (t) holds for t ∈ [T 1 , T ], i.e., the slope of l(t) is not greater than d dt B * sr,s (t)| T + 1 .…”