`std::insert` doesn't overwrite, while we need this to update an existing index to a better value. Just using `m[x]` works, but is much slower. https://github.com/TimonKnigge/TCR/blob/master/snippets/datastructures/increasing_function.cpp#L12