初等数论证明:[2x]+[2y]≥[x]+[y]+[x+y],(x,y∈R)不是绝对值符号,是取整符号