product(sin(k), k=1..n)