Сума внутрішніх кутів трикутника, нерівність трикутника