If f(x)=limn→∞(∏i=1ncos(x2i)) then f'(x) is equal to:
(3)
Using the identity
sinx=2nsin(x2n)∏i=1ncos(x2i)
we get
∏i=1ncos(x2i)=sinx2nsin(x2n)
As n→∞,
2nsin(x2n)→x
Hence,
f(x)=sinxx
Differentiating,
f'(x)=xcosx-sinxx2