This is incorrect. A sufficient number of monkeys in unlimited time is all you need. Verification would be a pain though.