Conditional on label still having frequency one, it is avoided at step with probability . ConsequentlyThe last observation is a singleton exactly when it introduces a new label, whose conditional probability is . Taking expectations gives
Solved by gpt-5.6-sol high.
Codex Wiki