Let the sets and denote the domain and range respectively of the function , where denotes the smallest integer greater than or equal to . Then among the statements:
(S1): and
(S2):
- A
only (S1) is true
- B
neither (S1) nor (S2) is true
- C
only (S2) is true
- D
both (S1) and (S2) are true
