proof involving floor functions
111665
How prove this $\{a\}\cdot\{b\}\cdot\{c\}=0$ if $\lfloor na\rfloor+\lfloor nb\rfloor=\lfloor nc\rfloor$
47923
For $n\in\mathbb{N}$, evaluate $\int_0^n \cos(2\pi \lfloor x\rfloor\{x\})dx$
144633
Verification of proof involving logarithms and limits
27844
How do we prove that $\lfloor0.999\cdots\rfloor = \lfloor 1 \rfloor$?
154406
Real analysis - proof approach help
1449
Floor function properties: $[2x] = [x] + [ x + \frac12 ]$ and $[nx] = \sum_{k = 0}^{n - 1} [ x + \frac{k}{n} ] $
12484
Prove that $\lfloor 2x \rfloor + \lfloor 2y \rfloor \geq \lfloor x \rfloor + \lfloor y \rfloor + \lfloor x+y \rfloor$ for all real $x$ and $y$.
117262
Proving a logarithm inequality
143306
Limit involving floor function: $\lim\limits_{x\to 0} x \left\lfloor\frac1x \right\rfloor$
142907
Integrating Floor Functions $\int_0^{1102} \lfloor{x^{1/2}}\rfloor \mathrm{d}x$
145447
bilinear form - proof
99483
If $T(n+1)=T(n)+\lfloor \sqrt{n+1}, \rfloor$ $\forall n\geq 1$, what is $T(m^2)$?
40779
What is the smallest possible value of $\lfloor (a+b+c)/d\rfloor+\lfloor (a+b+d)/c\rfloor+\lfloor (a+d+c)/b\rfloor+\lfloor (d+b+c)/a\rfloor$?
107258
Proving If $k \le \left\lfloor \frac{n}{2} \right\rfloor$ then $\binom{n}{k-1} < \binom{n}{k}$
59462
Prove that $n!=\prod_{k=1}^n \operatorname{lcm}(1,2,...,\lfloor n/k \rfloor)$ for any $n \in \mathbb N$
61043
Proofs involving limsup and liminf
68490
For $x\in\mathbb R\setminus\mathbb Q$, the set $\{nx-\lfloor nx\rfloor: n\in \mathbb{N}\}$ is dense on $[0,1)$