Exploring nine different proofs of a famous logarithmic inequality | Synapse