Así que el valor anterior es el resultado de la integral $$ \int_0^1 \int_0^1 \frac{{\rm d}x {\rm d}y}{1-xy} \, . $$ Estoy jugando a encontrar una sustitución para la que esta integral sea realmente resoluble en términos de funciones elementales.
¿Alguien sabe de uno o más?
edit: En realidad he encontrado una sustitución en Proof3 de http://math.cmu.edu/~bwsulliv/basel-problem.pdf pero creo que hay otros.