1
左=[2x-[x]+[y]]+[2y-2[y]]+[x]+[y]
=[[x]+[y]+2(x-[x])]+[2(y-[y])]+[x]+[y]
[x+y]=[x]+[y]+1时,则满足2(x-[x])≥1或2(y-[y])≥1
[[x]+[y]+2(x-[x])]+[2(y-[y])]=[x]+[y]+1或[x]+[y]+2
[[x]+[y]+2(x-[x])]+[2(y-[y])]≥[x]+[y]+1
[x+y]=[x]+[y]时,[2(x-[x]]=1or0,[2(y-[y])]=1or0
[[x]+[y]+2(x-[x])]+[2(y-[y])]≥[x]+[y]+1
综上,[2x]+[2y]≥[x]+[y]+[x+y]
2
[x/n]=[[x]/n+(x-[x])/n]
(x-[x])/n