porpi'i lujvo

x1 is the product of all the numbers in the sequence x2.