Harder–Narasimhan theory for the μ-slope on Coh X

The maximal destabilizing subobject, and the filtration built from it by recursion.