New posts in solution-verification

Why is $\mathcal{P}(A\cup B) \not\subset \mathcal{P}(A)\cup\mathcal{P}(B)$?

Proof that the closure of $S$ is the set of all limits of convergent sequences in $S$

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 $(a_1+···+a_n)^2 ≤ n(a^2_1+···+a^2_n).$ [duplicate]

The truth value of $(P):(\exists m \in \mathbb{Z}) (\forall y\in \mathbb{Q}) : my\in\mathbb{N}$

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

My proof that sum of convergent sequences converges to sum of limits

Prove that when x approaches to 1, function 1/(x-1) doesn't have limit

Family of Generalized Integrals ${I}(a,b,p)=\int_0^{ab} \left( \left\{\frac{x}{a}\right\}-p\right) \left( \left\{\frac{x}{b}\right\}-p\right) \; dx$

De-mystifying tricks in proof – If $\{x_n\}$ converges, then Cesaro Mean converges.

continuous function on weak topology

A continuous function that maps closed unit square to the unit open square

Suppose $A \subseteq P(A)$. Prove that $P(A)\subseteq P(P(A))$

Solution verification:$\lim_{x\to 2}\frac{\ln(x-1)}{3^{x-2}-5^{-x+2}}$

Derivative of a logarithm (chain rule)

A set which is not isomorphic to it's proper subset is finite

The tangent space is well-defined

Prove that $a_n=(-1)^n$ does not converge

Prove trig identity: $\tan(x) + \cot(x) = \sec(x) \csc(x)$ wherever defined

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