New posts in proof-verification

$\lim x_n^{x_n}=4$ prove that $\lim x_n=2$ [duplicate]

calculus sequences-and-series proof-verification

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?

real-analysis proof-verification proof-writing proof-explanation alternative-proof

Proving that a group acting freely on a tree is a free group

group-theory proof-verification group-actions trees

Is there a simpler proof of this fact in analysis?

real-analysis calculus limits proof-verification alternative-proof

Is this proof that all metric spaces are Hausdorff spaces correct?

general-topology metric-spaces proof-verification

Prove convexity when restricted to a line

proof-verification convex-analysis

Separation in compact spaces

real-analysis general-topology proof-verification continuity

Prove sum of the lengths of intervals in a finite covering of $\mathbb{Q}\cap [0,1]$ is $\geq 1$

real-analysis measure-theory proof-verification lebesgue-measure

Prove that if $a_1 + a_2 + \ldots$ converges then $a_1+2a_2+4a_4+8 a_8+\ldots$ converges and $\lim na_n=0$

calculus sequences-and-series proof-verification

Eigenvalues of $MA$ versus eigenvalues of $A$ for orthogonal projection $M$

linear-algebra matrices inequality proof-verification eigenvalues-eigenvectors

Prove that $\text{rank } T = \operatorname{rank} T^2 \iff \operatorname{Im}T \cap \ker T = \{ \vec 0\}$

linear-algebra proof-verification linear-transformations

Is there such a thing as "finite" induction?

proof-verification proof-writing induction

find total number of maximal ideals in $\mathbb{Q}[x]/\langle x^4-1\rangle$.

abstract-algebra proof-verification ring-theory field-theory

An alternative proof for Bertrand's Postulate when $n \ge 36$

elementary-number-theory proof-verification prime-numbers factorial

Theorem 6.16 in Baby Rudin: $\int_a^b f d \alpha = \sum_{n=1}^\infty c_n f\left(s_n\right)$

real-analysis integration analysis proof-verification definite-integrals

Proof that sets are equal

proof-verification elementary-set-theory

Integral $\int_0^\infty \frac{x-\sin x}{x^3(x^2+4)} dx$

integration proof-verification definite-integrals

Is a compact, simply-connected 3-manifold necessarily $S^3$ with $B^3$'s removed?

algebraic-topology proof-verification manifolds differential-topology

Prove that $e$ is transcendental.

real-analysis calculus proof-verification polynomials transcendental-numbers

Show that $(L^{p},\|\|_{p})$ is a Banach space.

real-analysis functional-analysis measure-theory proof-verification lp-spaces