The word “googol” was coined by a nine-year-old — Anecdota