pi^7=45/122 (zeta(7,1/4) - 8128 zeta(7))