Donald Knuth's Christmas Lecture: A Conjecture That Had To Be True [video]