n≦x<n+1<yということになるとn≦n+1<n+2≦yである場合は[y]=n+2となってしまうんですよね？
ということは[x]<[y]にはなるのですが、
すべての数に成り立つことも証明して書いた方がよろしいのではないでしょうか