Can flooring and ceiling thirds sum up to more than a whole? I'm working on a web layout which needs to divide an area into three columns, but do so using whole pixel values (due to subpixel rendering issues on some mobile devices). For this purpose I've decided to go with the following approach:


*

*The first two columns are rounded down (floored)

*The last column is rounded up (ceil)


Is there any numeric value for which using the above approach might break the layout? That is, does any integer $x$ exist which satisfies the following condition?
$$ \left \lfloor \frac{x}{3} \right \rfloor + \left \lfloor \frac{x}{3} \right \rfloor + \left \lceil \frac{x}{3} \right \rceil > x\\ 
x\in \mathbb{Z} $$
How would I approach disproving the existence of such a value?

The answer is no:


*

*$x\equiv0\pmod3\implies\left\lfloor\frac{x}{3}\right\rfloor+\left\lfloor\frac{x}{3}\right\rfloor+\left\lceil\frac{x}{3}\right\rceil=\frac{x}{3}+\frac{x}{3}+\frac{x}{3}=\frac{3x}{3}=x$

*$x\equiv1\pmod3\implies\left\lfloor\frac{x}{3}\right\rfloor+\left\lfloor\frac{x}{3}\right\rfloor+\left\lceil\frac{x}{3}\right\rceil=\frac{x-1}{3}+\frac{x-1}{3}+\frac{x+2}{3}=\frac{3x-2+2}{3}=x$

*$x\equiv2\pmod3\implies\left\lfloor\frac{x}{3}\right\rfloor+\left\lfloor\frac{x}{3}\right\rfloor+\left\lceil\frac{x}{3}\right\rceil=\frac{x-2}{3}+\frac{x-2}{3}+\frac{x+1}{3}=\frac{3x-4+2}{3}<x$
