Proof that $\inf A = - \sup (-A)$
33030
Proof that $\inf A = -\sup(-A)$
129480
Prove that inf(A+B) = infA + infB
115606
Proofs involving $ (A\setminus B) \cup (A \cap B)$
158862
Show that $a(-1) = (-1)a = -a $.
61799
Prove that $\Vert f(b)-f(a)-f'(a)(b-a) \Vert\leq \sup_{x\in [a,b]} \Vert f''(x)\Vert\Vert b-a\Vert^2$
43310
Proving $A\cap(B-C)$ is equal to $(A\cap B)-(A\cap C)$
13899
Proof that $-v = (-1)*v$
116811
Proofs with limit superior and limit inferior: $\liminf a_n \leq \limsup a_n$
147941
comparing sup and inf of two sets
30770
Prove that $C\left(\bigcup_{\alpha\in I} A_\alpha\right)=\bigcap_{\alpha\in I}C\left(A_\alpha\right)$
91947
Proof of $ f:I_n \rightarrow I_m \Rightarrow n = m$
149664
Norm is sup of inner products (proof).
78463
Prove that $\sup \{-x \mid x \in A\} = -\inf\{x\mid x \in A\}$
96152
Showing that $a^n - 1 \mid a^m - 1 \iff n \mid m$
26766
Proving : $A \cap (B-C) = (A \cap B) - (A \cap C)$
111122
Proof of a theorem in Hilbert's system
81302
Showing that $a_n \in \ell^{\infty}$