[math-fun] "Proofs from the Book" book