Actually, that is where the argument goes wrong. You cannot have a function that maps the infinite numbers in [0,1] to a finite subset (which is the 'finite initial sequence'. So the argument collapses to the conclusion: after an infinite number of or incorrect guesses, everyone guesses correctly. Which is to say there is no such point where everyone starts to guess correctly.