关于凸函数中一个定理的证明

一般凸函数是由f(x_1+x_2/2)≤1/2[f(x_)1+f(x_2)]…(1)来定义的。在函数连续时也有用f(sum from n=1 to n λ_ix_i)≤sum from n=1 to n λ_if(x_i),λ_i为实数,而sum from n=1 to n λ_i=1…(2)来定义。但当函数连續时,由(1)可(?)(2)这是一个定理。现在用实数的二进位表示法和有限归纳内法来证明这个定理。