The Basel problem has at least fourteen genuinely different proofs. What makes it such a magnet?

Inline maths like a_i, b_j and x_1 \cdot x_2 must survive markdown intact — underscores are not emphasis here.