Eitan Adler: Finding the majority element in a stream of numbersA delightful induction. Seems familiar from *Intro to Algorithms*?