Triangle Inequality, Refine Big O Calculations - Discrete Mathematics