Es sei K {\displaystyle {}K} ein angeordneter Körper, es sei a ≤ b {\displaystyle {}a\leq b} und seien Zahlen x 1 , x 2 , … , x n ∈ [ a , b ] {\displaystyle {}x_{1},x_{2},\ldots ,x_{n}\in [a,b]} und nichtnegative Zahlen t 1 , t 2 , … , t n ∈ K ≥ 0 {\displaystyle {}t_{1},t_{2},\ldots ,t_{n}\in K_{\geq 0}} mit
gegeben. Zeige