定義された不等式に f(1)=1f(1)=1f(1)=1 を代入すると、f(x)+1≤f(x+1)≤f(x)+2f(x)+1\le f(x+1)\le f(x)+2f(x)+1≤f(x+1)≤f(x)+2 を得る。