“[F]ew experiences carry more risk of active boredom than picking up a book. … A library is an enormous repository of information, entertainment, the best that has been thought and said. It is also probably the densest concentration of potential boredom on earth.”