`text(The Greatest Integer function)`
`[x]=`the largest integer that is less than or equal to `x.`
In mathematical notation we would write this as `[x]=max{m∈Z|m≤x}`
The notation `m∈Z` means `m` is an integer.
A couple of trivial facts about `[x]`
- `[x]` is the unique integer satisfying `x − 1 < [x] ≤ x.`
- `[x] = x` if and only if `x` is an integer.
- Any real number `x` can be written as `x = [x]+ θ`, where `0 ≤ θ < 1 .`
`text(Properties of Greatest Integer :)`
`(i) [x±n]= [x]±n,n in I`
`(ii) [-x]=- [x],x in I`
`(iii) [-x]=-1- [x],x in I`
`(iv) [x]- [- x] = 2n,` if `x= n, n in I`
`(v) [x]- [- x] = 2n + 1,` if `x = n + {x}, n in I` and `0< {x} < 1`
`(vi) [x] >= n => x >= n, n in I`
`(vii) [x]> n =>x >= n + 1, n in I`
`(viii) [x] <= n => x < n + 1, n in I`
`(ix) [x] < n => x < n, n in I`
`(x) n_2 <= [x] <= n_1 => n_2 <= x < n_1 + 1, n_1 , n_2 in I`
`(xi) [x+y] >= [x]+ [y]`
`(xii) [[x]/n] = [x/n] , n in N`
`(xiii) [(n+1)/2] + [(n+2)/4] + [(n+4)/8] + [(n+8)/16] + .... + n, n in N`
`(xiv) [x] + [x+ 1/n] + [x+ 2/n] + ......... + [x + (n-1)/n] = [nx] , n in N`
`text(The Greatest Integer function)`
`[x]=`the largest integer that is less than or equal to `x.`
In mathematical notation we would write this as `[x]=max{m∈Z|m≤x}`
The notation `m∈Z` means `m` is an integer.
A couple of trivial facts about `[x]`
- `[x]` is the unique integer satisfying `x − 1 < [x] ≤ x.`
- `[x] = x` if and only if `x` is an integer.
- Any real number `x` can be written as `x = [x]+ θ`, where `0 ≤ θ < 1 .`
`text(Properties of Greatest Integer :)`
`(i) [x±n]= [x]±n,n in I`
`(ii) [-x]=- [x],x in I`
`(iii) [-x]=-1- [x],x in I`
`(iv) [x]- [- x] = 2n,` if `x= n, n in I`
`(v) [x]- [- x] = 2n + 1,` if `x = n + {x}, n in I` and `0< {x} < 1`
`(vi) [x] >= n => x >= n, n in I`
`(vii) [x]> n =>x >= n + 1, n in I`
`(viii) [x] <= n => x < n + 1, n in I`
`(ix) [x] < n => x < n, n in I`
`(x) n_2 <= [x] <= n_1 => n_2 <= x < n_1 + 1, n_1 , n_2 in I`
`(xi) [x+y] >= [x]+ [y]`
`(xii) [[x]/n] = [x/n] , n in N`
`(xiii) [(n+1)/2] + [(n+2)/4] + [(n+4)/8] + [(n+8)/16] + .... + n, n in N`
`(xiv) [x] + [x+ 1/n] + [x+ 2/n] + ......... + [x + (n-1)/n] = [nx] , n in N`