# Which one is larger, floor(a/k) * k vs floor(a)?

Suppose we have $a$, which is in real, and $k$ which is a natural number and $k \geq1$.

Which one is larger? $$\lfloor a \rfloor \hspace{5mm} \text{ or } \hspace{5mm} k \, \left\lfloor \frac{a}{k} \right\rfloor$$

I feel that $\lfloor a \rfloor$ is no smaller than $k \, \left\lfloor \frac{a}{k} \right\rfloor$.

I'm wondering if there is a formal proof or theory for this?

Thank you very much!

• Try writing $a = kn + r$ for the largest possible integer $n$ for which $r$ is nonnegative. Then divide by $k$ and ... . – Ethan Bolker Mar 14 '18 at 18:44
• Welcome to MSE. Please use MathJax. – José Carlos Santos Mar 14 '18 at 18:51

$a = k*n + r$

$\cfrac{a}{k} = n + \cfrac{r}{k}$

$k*floor(\cfrac{a}{k}) = n$

$floor(a) >= k*floor(\cfrac{a}{k})$

Just consider the definition: $$\biggl\lfloor\frac ak\biggr\rfloor=n\iff n\le\frac ak < n+1\implies nk\le a ,\enspace\text{so}\quad nk\le \lfloor a\rfloor.$$

• $\lfloor a \rfloor$ is the largest integer which is less than or equal to $a$.

• $k\left\lfloor \frac{a}{k} \right\rfloor$ is an integer which is less than or equal to $a$.

Need I say more?