# Surjectivity of $\lceil x/2\rceil$ over the integers [closed]

Is the following function surjective from the set of integers to the set of integers? $$\lceil x/2\rceil$$ My initial intuition says that it is, but I don't know if once the element $x$ from the domain starts getting higher in value (when $x$ approaches infinity), it would eventually miss an integer.

I hope this makes sense.

• What happens if $x=2n,$ $n$ an integer? Commented Jul 23, 2018 at 15:13
• @ChrisLeary you get the double value of n. Commented Jul 23, 2018 at 15:17
• I believe you should get $n.$ Check Parclay's answer below. Commented Jul 23, 2018 at 16:35
• @ChrisLeary yes, I understand now. If 2*n = x in the original equation. Commented Jul 23, 2018 at 16:45

Notice that $\lceil (2n)/2\rceil = n$.
For any integer $y$ pick $x=2y$, which is an integer. Then $x/2$ is an integer, and since the ceiling of an integer is itself, $\lceil x/2\rceil=y$. Therefore the function has a preimage for every element in its codomain and is surjective.