New posts in Proof Verification

Tried to prove that $e$ is irrational but ended up proving it's not a real number.

compactness of a set where am I going wrong

What's wrong with this bogus proof?

An alternative proof of an application of Hahn-Banach

Proving $∀ε>0:x<y+\epsilon ⇒ x<y$

Find $\lim\limits_{x\to0^+}x(\lfloor \frac{1}{x}\rfloor+\lfloor \frac{2}{x}\rfloor+\cdots+\lfloor \frac{k}{x}\rfloor), \, k \in \mathbb N$.

Proving a Subset - $(A∪B)∩C⊆A∪(B∩C).$

Derivation Verification for an Algebraic Expression

How much rigour is this proof of multivariable chain rule?

Which positive integers can NOT be written as a sum of consecutive positive integers