Floors Complicated Proof
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$.
144633
Verification of proof involving logarithms and limits
8617
How do you prove ${n \choose k}$ is maximum when $k$ is $ \lceil \tfrac n2 \rceil$ or $ \lfloor \tfrac n2\rfloor $?
78356
How to prove ${n \choose p} \equiv\left\lfloor \frac{n}{p} \right\rfloor\pmod p$
79686
How can I prove these statements?
108694
Efficient computation of $\sum_{i=1}^{i=\left \lfloor {\sqrt{N}} \right \rfloor}\left \lfloor \frac{N}{i^{2}} \right \rfloor$
76635
Proof through combinatorial argument
111665
How prove this $\{a\}\cdot\{b\}\cdot\{c\}=0$ if $\lfloor na\rfloor+\lfloor nb\rfloor=\lfloor nc\rfloor$
145759
formal proof from calulus
5529
Proving that $x$ is irrational if $x-\lfloor x \rfloor + \frac1x - \left\lfloor \frac1x \right\rfloor = 1$
32181
A logic puzzle involving a balance.
121157
Proof verification: column rank = row rank
77973
How to prove or disprove $\forall x\in\Bbb{R}, \forall n\in\Bbb{N},n\gt 0\implies \lfloor\frac{\lfloor x\rfloor}{n}\rfloor=\lfloor\frac{x}{n}\rfloor$.
31340
Concurrent lines proof for a regular 18-gon
133617
Relatively prime property verification
157334
A valid floor function trick?
38811
Solutions to $\frac1{\lfloor x\rfloor}+\frac1{\lfloor 2x\rfloor}=\{x\}+\frac13$