Design, test and refine geometrical algorithms

The inputs are three positive lengths in the same unit. Output YES exactly when they form a non-degenerate triangle; a straight, zero-area shape must give NO

Input lengths: (8, 15, 23). Algorithm: sort into increasing order x ≤ y ≤ z; if x + y > z output YES, otherwise output NO