This reminds me of the busy beaver problem.