Infinite monkey theorem-- one possible version