New posts in proof-writing

Discrete Mathematics: $x\leq y+\epsilon \implies x\leq y$

Why does Rudin define $k = \frac{y^n-x}{n y^{n-1}}$ or $h < \frac{x - y^n}{n(y+1)^{n-1}}$ when he tries to prove that every real x has a nth root?

Is there any way to systematically do all epsilon delta proofs?

Is there such a thing as "finite" induction?

Find all functions $F(x,y)$ such as $\frac{\sqrt{3}}{2}\frac{\partial{f}}{\partial{x}}+\frac{1}{2}\frac{\partial{f}}{\partial{y}}=0$

Prove for every three integers $a$, $b$ and $c$ that an even number of the integers $a + b$, $a + c $and $b + c$ are odd. [duplicate]

Show that $x^3 - 6x^2 + 11x - 6$ is divisible by $3, \forall x \in \mathbb{Z}$.

Prove that $\mathcal{P}(A)\cup \mathcal{P}(B) \subseteq \mathcal{P}(A\cup B)$.

It is easy to show that $S_m=\sum_{n=1}^\infty \frac{n}{2^n + m}$ converges for any natural$\ m$, but what is its value?

Proof of the infinite descent principle

If the sum of eigenvectors is an eigenvector, then they all correspond to the same eigenvalue

Uniqueness proof for $\forall A\in\mathcal{P}(U)\ \exists!B\in\mathcal{P}(U)\ \forall C\in\mathcal{P}(U)\ (C\setminus A=C\cap B)$

Proof that maximizing a function is equivalent to minimizing its negative

Pascal's Triangle and Binary Representations

Prove a variant of the Cauchy-Schwarz inequality

Proving the Poincare Lemma for $1$ forms on $\mathbb{R}^2$

If a graph has no cycles of odd length, then it is bipartite: is my proof correct?

Prove that $a < b\sqrt{3}$ under conditions given

How do I know what we already know in a proof when the assumptions we can use are even more complex?

UPDATED: If $f(x + y) \leq yf(x) + f(f(x))$ for all real numbers $x$ and $y$, prove that $f(0) = 0.$