Cauchy–Schwarz inequality

For vectors u, v in an inner-product space: |⟨u,v⟩| ≤ ‖u‖ ‖v‖, with equality iff u, v are linearly dependent. Cornerstone of norm/metric arguments.