[math-fun] claimed proof that zeta(5) is irrational