product k^2 for k=1 to 8, (8!)^2