Guidance with a floor function proof
10827
Writting a proof for $\lfloor 4x \rfloor = \lfloor x+1/4 \rfloor + \lfloor x+1/2 \rfloor + \lfloor x+3/4 \rfloor + \lfloor x \rfloor$
21802
Prove $\sum_{d \leq x} \mu(d)\left\lfloor \frac xd \right\rfloor = 1 $
107258
Proving If $k \le \left\lfloor \frac{n}{2} \right\rfloor$ then $\binom{n}{k-1} < \binom{n}{k}$
27844
How do we prove that $\lfloor0.999\cdots\rfloor = \lfloor 1 \rfloor$?
106799
Proof Verification: Converse of Intermediate Value Theorem
76828
Evaluating $\sum_{i = 0}^{\lfloor n/2 \rfloor} {n \choose 2i}p^{2i}(1 - p)^{n - 2i}$
16337
Find the solution of $\lfloor \sin^{-1}(x)\rfloor>\lfloor \cos^{-1}(x)\rfloor$
146023
How to prove that $x^2 - \lfloor x\rfloor^2$ is onto?
108694
Efficient computation of $\sum_{i=1}^{i=\left \lfloor {\sqrt{N}} \right \rfloor}\left \lfloor \frac{N}{i^{2}} \right \rfloor$
158463
Analyzing $\biggl\lfloor{\frac{x}{5}}\bigg\rfloor=\bigg\lfloor{\frac{x}{7}}\bigg\rfloor$
45460
Proof verification of a number theory problem involving sequences.
131873
Getting better at proofs
121157
Proof verification: column rank = row rank
103463
Mantel's Theorem proof verification
47923
For $n\in\mathbb{N}$, evaluate $\int_0^n \cos(2\pi \lfloor x\rfloor\{x\})dx$
5914
Proving $\lfloor 2x \rfloor = \lfloor x \rfloor + \lfloor x+0.5\rfloor$
19064
Proof about floor function: $\lfloor x\rfloor+\lfloor x + \frac{1}{n} \rfloor+\cdots + \lfloor x + \frac{(n-1)}{n} \rfloor = \lfloor nx \rfloor$