Supremum Proof Analysis
61043
Proofs involving limsup and liminf
35644
Find the supremum of the following set
59872
How to prove $\inf(S)=-\sup(-S)$?
62936
Proving equivalencies of two versions of the Axiom of Choice
152856
Using $p\supset q$ instead of $p\implies q$
141529
Proving existence of a minimum
10598
Contrapositive Fitch Proof
106979
Prove the inequality and limitation
81203
Supremum and infimum of sets
48679
measurability of supremum of a class of functions
152817
Proving $\sup B=\inf A$
77026
Proof with inequalities
36374
Exercise 1.6.3 from Alon & Spencer's *The Probabilistic Method*: prove that $Pr[|X-Y| \leq 2] \leq 3 Pr[|X-Y| \leq 1]$ for i.i.d. real RVs $X$ and $Y$
20816
Inequalities with assumptions and constraints
116527
Validating a proof for necessary and sufficient conditions on sets A & B such that $P(A) \cup P(B) = P(A\cup B)$
87239
Prove functions defined by sup and inf are continuous
138897
help with some Hilbert style proofs in a propositional logic axiom system.