在给定定义中任取x1,x2,并设x10,
f(x2-x1)>3,那么
f(x2)=f[(x2-x1)+x1]=f(x2-x1)+f(x1)-3=f(x1)+[f(x2-x1)-3]>f(x1),
即对任意x1