考虑集合 Dk (k≥1) 中的序列,对于每个 k,考虑两个函数 (x1,…,xk)↦fk(x1,…,xk), (x1,…,xk)↦gk(x1,…,xk) 和真实的值,其中 (x1,…,xk)∈D1×D2×⋯×Dk。假设对于每个k,在R上定义了一个实数函数Fk,使得对于每个μ∈R和任意a1∈D1,…,ak−1∈Dk−1都有一个
xk∈Dksup(μfk(a1,…,ak−1,xk)−gk(a1,…,ak−1,xk))=Fk(μ) fk−1(a1,…,ak−1). (按照惯例,取
f0=1。)证明如果实数
(μk) 和
(δk) 满足条件
F1(μ1)=0 和
Fk(μk)=δk 中的序列则存在不等式
(μ1−δ2)f1+(μ2−δ3)f2+⋯+(μn−1−δn)fn−1+μnfn≤g1+g2+⋯+gn 对于
n 和
xk∈Dk 的所有值。