Question: Variable property and indexing?

On my journey of discovery through the world of Maple, I would like to ask for help again:
How are the properties of variables and the indexing of sequences handled/determined? For this purpose, I chose an old problem from a challenging MO as an exercise and tried it in the attached file, which, of course, failed.

restart

a[i] := 2*cos(t/2^i)-1

2*cos(t/2^i)-1

(1)

b[n] := product(a[i], i = 1 .. n)

product(2*cos(t/2^i)-1, i = 1 .. n)

(2)

limit(b[n], n = infinity)

limit(product(2*cos(t/2^i)-1, i = 1 .. n), n = infinity)

(3)

simplify(limit(b[n], n = infinity))

limit(product(2*cos(t*2^(-i))-1, i = 1 .. n), n = infinity)

(4)

NULL

Download test.mw

Please Wait...