What is the name of the inequality $|x|+|y| \geq |x+y|$?
I remember seeing this inequality and thinking it was the triangle inequality, but that only holds if $x,y,z$ are the side lengths of a triangle and this holds for all real numbers? If so is there a name for this inequality?