is n*(product of (n^2-x^2) from x=1 to (n-1))-(2n-1)! = 0?