f(1)=f(0)+1=1f(1)=f(0)+1=1f(1)=f(0)+1=1 から f(0)=0f(0)=0f(0)=0 が分かり、条件 (ii) より 0≤x<10\le x<10≤x<1 では f(x)≤0f(x)\le0f(x)≤0 である。定義不等式を xxx と 1−x1-x1−x に適用すると f(x)+f(1−x)≥0f(x)+f(1-x)\ge0f(x)+f(1−x)≥0 を得る。