Biblioteca
Teorema da desigualdade triangular