Prove/Disprove: $A - \lfloor A/B \rfloor - \lceil A/B \rceil \leq \lfloor A/B \rfloor \times (B+1)$ for $A \geq B$
For $A \geq B$, both are strictly positive integers, is the following true? $$A - \lfloor A/B \rfloor - \lceil A/B \rceil \leq \lfloor A/B \rfloor \times (B+1)$$
I tried the technique used in proving a very similar question: Prove/Disprove: $A - \lfloor A/B \rfloor - \lceil A/B \rceil \leq (\lfloor A/B \rfloor + 1) \times B$ for $A \geq B$
But it seems like it didn't work in proving this. I also tried empirically generating random A and B's, but also can't find a counterexample.
$\newcommand{f}[1]{\left\lfloor #1 \right\rfloor}$ Let $B = 100$ and $A = 199$. Then: \begin{align*} LHS &= 199 - 1 - 2 = 196 \\ RHS &= 1(100 + 1) = 101 \end{align*} So the inequality is false.
EDIT: In response to OP's comment, suppose we restrict further that $\f{A/B} \geq N$ for some $N \in \Bbb{Z}^+$. Let $B = 3N + 3$, and let $A = (N + 1)(3N + 3) - 1$. Clearly $A \geq B$ and $\f{A/B} = N$. \begin{align*} LHS &= (N + 1)(3N + 3) - 1 - N - (N + 1) \\ &= (N + 1)(3N + 1) \\ \end{align*} \begin{align*} RHS &= N(3N + 4) \\ &= N(3N + 1) + 3N \\ &= (N + 1)(3N + 1) - (3N + 1) + 3N \\ &= (N + 1)(3N + 1) - 1 < LHS \end{align*} So the inequality will still fail.