grenv: Once you have an infinite game, it's easy to construct an infinite number of finite games from it. Do that as follows: number your games 1, 2, 3, .... For game n, the first n moves are the same n moves from the given infinite game. After the n moves, pick the shortest sequence that finishes the game.