A fundamental part of mathematical analysis. Given vectors a and b with length defined as ||a|| and ||b||, then

||a+b|| <= ||a|| + ||b||