A computer programmer has proven a specific version of the "infinite monkeys" theorem. That's the idea that an infinite number of monkeys typing on an infinite number of keyboards for an infinite amount of time will, eventually, produce the complete works of Shakespeare. Not having even one infinite amount of anything, the author of the proof simplified the problem to make it simpler and, whaddayaknow, out popped a sonnet.