greedy-early-exit-correctness

Status: IN

In `max_number_after_remove_digit`, removing the first occurrence of `digit` that is immediately followed by a strictly larger digit always yields the lexicographically maximum result.

Source: entries/2026/06/06/remove-digit-from-number-to-maximize-result-solution.md

JSON