Prove that $100|11^{10} - 1$
2522
Why is $a^n - b^n$ divisible by $a-b$?
97666
Prove $133\mid \left(11^{n+2}+12^{2n+1}\right)$
125707
A simple proof (hopefully) for $2^x \neq 0$
56760
Prove by induction that an expression is divisible by 11
154459
Constructing a HoTT proof term of 1≠0
115733
Proving that $\sec\frac{\pi}{11}\sec\frac{2\pi}{11}\sec\frac{3\pi}{11}\sec\frac{4\pi}{11}\sec\frac{5\pi}{11}=32$
24469
Prove $ 2<(1+\frac{1}{n})^{n}$
99052
Prove that $( 1 + n^{-2}) ^n \to 1$.
15631
Show that $11^{n+1}+12^{2n-1}$ is divisible by $133$.
96062
Show $\underbrace{{111\cdots}1}_{{\small{p-1} \ 1's}}$ is divisible by $p$
102464
Prove $R < ( 1 + (\sum |a_{i}|^{p} )^{q/p})^{1/q}$ for absolute value of polynomial zeros
152299
Proving $a^{n-1} \equiv 1 \mod n $ when n is not prime.
5043
Show that $2^n>1+n\sqrt{2^{n-1}}$
4315
show that if $n\geq1$, $(1+{1\over n})^n<(1+{1\over n+1})^{n+1}$
120309
Number Theory Inequality Proof
39082
Proving $x^\alpha-\alpha x \le 1- \alpha $
87843
Combinatorial proof that $\frac{({10!})!}{{10!}^{9!}}$ is an integer