How do evaluate an inequality that involves a fractional part? I am stuck on how to evaluate whether the following condition is true:
Let $\{k\}$ be the fractional part of a real number such that $\{k\} = k - \lfloor{k}\rfloor$.
if $\{\frac{x}{2}\} < \frac{1}{2} + \frac{\{x\}}{2}$, does it then follow that:
$$\{\frac{x+1}{2}\} \ge \frac{1}{2} + \frac{\{x+1\}}{2}$$
I can see that:
$\{x+1\} = \{x\}$ 
if $\{\frac{x}{2}\} < \frac{1}{2}$, $\{\frac{x+1}{2}\} = \{\frac{x}{2}\} + \frac{1}{2}$
$\frac{\{x\}}{2} < \frac{1}{2}$
So, it follows that $\frac{1}{2} + \frac{\{x\}}{2} < 1$
I can that it is true in the case where $\{x\} = \frac{1}{2}$ since:
$\{\frac{1}{4}\} < \frac{1}{2} + \frac{\{\frac{1}{2}\}}{2}$ and $\{\frac{3}{4}\} \ge \frac{1}{2} + \frac{\{\frac{1}{2} + 1\}}{2}$
Can anyone help me to evaluate this condition is always true?
Thanks,
-Larry  

Let $x = n + r,$ where $n = \lfloor x \rfloor$ and $r = \{x\}.$ If $n$ is odd, then $\left\{\frac{n+r}{2}\right\} = \frac{1}{2} + \frac{r}{2},$ so the inequality fails. Hence $n$ is even. Then $n + 1$ is odd, whence $\left\{\frac{n+1+r}{2}\right\} = \frac{1}{2} + \frac{r}{2} = \frac{1}{2} + \frac{\{n+1+r\}}{2},$ so in fact, it is simply an equality.
