[math-fun] Yet another zeta 2 proof