Is $\lfloor(x+1/2)e\rfloor = \lfloor(x+1)(1+1/x)^x\rfloor$ for all $x > 0$?

The question occurred in connection with (nonhomogeneous) Beatty sequences, $\lfloor nr+h\rfloor$, where irrational $r>0$ and real $h$ are fixed, and $n = 1,2,\dots$.

Let

$$s_n = (n+1/2)e - (n+1)(1+1/n)^n$$ I checked that $(s_n)$ is strictly decreasing and $0 < s_n < 1$ for $n = 1,2,\dots, 10^6$.

Oops, thanks for noting that the leap from positive integers $n$ to real $x$ was blind. So, the answer to the question as asked is "no" - leaving a subquestion, whether the proposed identity holds for positive integers $n$. (Still, though, should anything else be said about the left side versus the right side for non-integer values of $x$.)

gpin under 2 minutes). $\endgroup$ – Noam D. Elkies Jun 2 '15 at 19:06