<s>[INST] Prove $\lfloor 2x \rfloor + \lfloor 2y \rfloor \geq \lfloor x \rfloor + \lfloor y\rfloor+\lfloor x+y\rfloor$ 
Prove that $\lfloor 2x \rfloor + \lfloor 2y \rfloor \geq \lfloor x \rfloor + \lfloor y \rfloor + \lfloor x+y \rfloor$ for all real $x$ and $y$.

If anybody could post a simple solution (no complicated abstract theories or calc :D) to the above question, I would greatly appreciate it. Thanks!
Also, if possible, the solution shouldn't wander too much away from floor, ceiling, fraction functions, and other related functions. 
 [/INST] HINT
Let $x = n + r$ with $n$ an integer and $0 \le r <1$
Similarly, $y = m + s$ with $m$ an integer and $0 \le s < 1$
Now there are 4 cases to consider:


*

*$0 \le r < \frac{1}{2}$ and $0 \le s < \frac{1}{2}$

*$0 \le r < \frac{1}{2}$ and $\frac{1}{2} \le s <1$

*$\frac{1}{2} \le r < 1 $ and $0 \le s < \frac{1}{2}$

*$\frac{1}{2} \le r < 1$ and $\frac{1}{2} \le s <1$
Just to show case 2:
$\lfloor 2x \rfloor + \lfloor 2y \rfloor = \lfloor 2n + 2r \rfloor + \lfloor 2m + 2s \rfloor = 2n + 0 + 2m + 1$
$\lfloor x \rfloor + \lfloor y \rfloor + \lfloor x + y\rfloor = n + m + n + m + \lfloor s +r \rfloor$ where $\lfloor s + r \rfloor \le 1$
</s>