WolframAlpha computational knowledge AI
prove by induction product of 1 - 1/k^2 from 2 to n = (n + 1)/(2 n) for n>1