monkey theorem (infinite)