>>7
領域の考え方を使うこと自体は間違っていないが、四捨五入って普通、
x∈R、n∈Z、n-1/2≦x＜n+1/2のとき[x]=nと定義される。さらに、aとbを
大小関係から交換するのはいいんだが、結局最後は二倍しなくてはいけない。