n<m→n+1≦m とし m< a< m+1 とする
m<a より m+1≦a
∴ a<a