Description: Generalized triangle inequality: the absolute value of a finite sum is less than or equal to the sum of absolute values. (Contributed by NM, 9-Nov-2005) (Revised by Mario Carneiro, 24-Apr-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | fsumabs.1 | |
|
fsumabs.2 | |
||
Assertion | fsumabs | |