New posts in Proof

Using Mathematica to confirm Bernoulli's inequality

How to prove an expression by method of mathematical induction?

Trying to prove that $x\sin(\frac{\pi}{x})\ge\pi \cos(\frac{\pi}{x})$ for $x\ge 1$

How do I display a proof tree with HTML,CSS and/or Javascript?

Concrete example showing that monads are not closed under composition (with proof)?

I need help proving that if f(n) = O(g(n)) implies 2^(f(n)) = O(2^g(n)))

Functional proofs (Haskell)

How to prove (forall x, P x /\ Q x) -> (forall x, P x)