` :I agree the paragraph should be stricken. 1) Infinity is not a number. 2) The word ``more`` is a comparative and requires a comparison. Whereas you can compare more with numbers, you cannot compare more with infinity. Therefore, you cannot verify that there are more zeros than ones in an infinite random binary sequence, and it will never be effective. Also, algorithms must end by definition, so non-halting concepts are not germane.   `