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