Inequality involving floor function

Question

In the context of a paper I study, I want to prove an inequality. Consider $K,N$ positive integers and $a,b$ positive real numbers basically with $a=0.275$ and $b=1.1$. I try to prove the following

\begin{equation} -\frac{(\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor)^2}{1-\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor/N}\frac{b\cdot\mathrm{max}\{1,N/K\}}{N}\geq-\mathrm{min}\{N,K\}\frac{ba^2}{1-a\cdot\mathrm{min}\{1,K/N\}} \end{equation}

Equivalently we have that \begin{eqnarray} -\frac{(\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor)^2}{1-\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor/N}b\cdot\mathrm{max}\{1/N,1/K\}&\geq&-\mathrm{min}\{N,K\}\frac{ba^2}{1-a\cdot\mathrm{min}\{1,K/N\}}\\ -\frac{(\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor)^2}{1-\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor/N}b\cdot\mathrm{min}\{N,K\}&\geq&-\mathrm{min}\{N,K\}\frac{ba^2}{1-a\cdot\mathrm{min}\{1,K/N\}}\\ \Leftrightarrow\frac{(\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor)^2}{1-\lfloor a\cdot\mathrm{min}\{N,K\}}/N&\leq&\frac{a^2}{1-a\cdot\mathrm{min}\{1,K/N\}} \end{eqnarray}

by exploiting \begin{equation} \lfloor x\rfloor\geq x-1 \end{equation}

I am trying to compare the denominators so by the above identity \begin{eqnarray} \lfloor a\cdot\mathrm{min}\{N,K\}\rfloor/N&\geq&a\cdot\mathrm{min}\{N,K\}/N-1/N\\ \Leftrightarrow-\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor/N&\leq&-a\cdot\mathrm{min}\{N,K\}/N+1/N\\ \Leftrightarrow1-\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor/N&\leq&1-a\cdot\mathrm{min}\{N,K\}/N+1/N\\ \Leftrightarrow1-\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor/N&\leq&1-a\cdot\mathrm{min}\{1,K/N\}+1/N \end{eqnarray} but I cannot reach a conclusive result here. Also I am not sure about the second step of the previous series of inequalities.

Answer 1

For $0\lt a\lt 1$ and $b\gt 0$ such that $$1-\frac{\lfloor a\cdot\min\{N,K\}\rfloor}{N}\not=0\quad\text{and}\quad 1-a\cdot\min\left\{1,\frac KN\right\}\not=0$$ the inequality holds.

$$-\frac{(\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor)^2}{1-\lfloor a\cdot\mathrm{min}\{N,K\}\rfloor/N}\frac{b\cdot\mathrm{max}\{1,N/K\}}{N}\geq-\mathrm{min}\{N,K\}\frac{ba^2}{1-a\cdot\mathrm{min}\{1,K/N\}}\tag1$$

Let us separate it into two cases :

Case 1 : $K\ge N$ $$\begin{align}(1)&\iff -\frac{(\lfloor a\cdot N\rfloor)^2}{1-\frac{\lfloor a\cdot N\rfloor}{N}}\cdot\frac{b\cdot 1}{N}\geq-N\cdot\frac{ba^2}{1-a\cdot 1}\\\\&\iff \frac{\lfloor aN\rfloor^2}{N-\lfloor aN\rfloor}\le \frac{(aN)^2}{N-aN}\tag2\end{align}$$

Multiplying the both sides of $(2)$ by $(N-\lfloor aN\rfloor)(N-aN)\gt 0$ gives $$\begin{align}(2)&\iff (N-aN)\lfloor aN\rfloor^2\le (aN)^2(N-\lfloor aN\rfloor)\\\\&\iff a^2N^3-a^2N^2\lfloor aN\rfloor-N\lfloor aN\rfloor^2+aN\lfloor aN\rfloor^2\ge 0\\\\&\iff (aN+\lfloor aN\rfloor)(aN-\lfloor aN\rfloor)-a\lfloor aN\rfloor(aN-\lfloor aN\rfloor)\ge 0\\\\&\iff (aN-\lfloor aN\rfloor)(aN+(1-a)\lfloor aN\rfloor)\ge 0\end{align}$$ which holds for $0\lt a\lt 1$.

Case 2 : $K\lt N$

$$\begin{align}(1)&\iff -\frac{(\lfloor aK\rfloor)^2}{1-\frac{\lfloor aK\rfloor}{N}}\cdot\frac{b\cdot\frac NK}{N}\geq -K\cdot\frac{ba^2}{1-a\cdot\frac KN}\\\\&\iff \frac{\lfloor aK\rfloor^2}{N-\lfloor aK\rfloor}\le \frac{(aK)^2}{N-aK}\tag3\end{align}$$

Multiplying the both sides of $(3)$ by $(N-\lfloor aK\rfloor)(N-aK)\gt 0$ gives $$(3)\iff (aK-\lfloor aK\rfloor)(NaK+(N-aK)\lfloor aK\rfloor)\ge 0$$ which holds for $0\lt a\lt 1$.