prod from n=1 to 7 (x-a_n)