Yup, that is exactly right.∀a ∈ Z, if a is odd then ⌊a/2⌋ is odd or ⌈a/2⌉ is odd.
I'm having a little trouble proving this statement.
I supposed a is an integer that is odd.
Then a has the form 2k+1 for some integer k.
Then a/2 is k + 1/2.
Now I'm not sure how to show that the floor or ceiling is odd.
I was thinking of saying that since k is an integer, once it is added with a strictly rational number(1/2), it would result in a non-integer, and thus be a number between two integers. Then I could say that since every consecutive integer is of opposite parity, then when you round down(floor) or round up(ceiling), it would result in 2 consecutive integers, and one of them must be odd.
Would that be sufficient?