Infinite monkey theorem