What if we need strictly increasing instead of non-decreasing? Transform differently. Set . Then strictly increasing iff strictly increasing.
But we want non-decreasing. Alternative: for tiny . Conceptually, offset each position slightly. In practice: works for non-decreasing. For strictly increasing, use and require the transformed sequence to be strictly increasing (same cost structure).