Proposition: Triangle inequality. Let Then, Proof: , where with the Cauchy Schwarz Inequality, we can rewrite this as: