Hermione's age

[David]

On the main list, Amy wrote:

> I like an unresolved math problem as much as anyone, and yet I am
> stunned by the amount of attention this question, which seems so 
> trivial to me, commands.

-----Math Problems at the Turn of the Millennium-----

By the end of the twentieth century, many of the famous issues that 
had plagued mathemeticians had been resolved.  The non-existence of 
non-Abelian simple groups of odd order was disposed of in the early 
sixties.

Appel and Haken proved the Four Colour Theorem in the late seventies, 
controversially using a computer.

Wiles cracked Fermat's Last Theorem in the early nineties, amid a 
glare of publicity.

Only two major problems survived the millennium unsolved: The 
Goldbach Conjecture (every even number greater than two is the sum of 
two primes), and the age of Hermione Granger (Ebony's Hypothesis).

David, wondering if anyone has seen Zorn's lemma recently