sin x=2sinx2cosx2
sin x=22sinx22cosx2cosx22
sin x=23sinx23cosx2cosx22cosx23
...
....
sin x=2nsinx2nn∏k=1cosx2k
n∏k=1cosx2k=sin xx(sin 2−nx2−nx)−1
limn→∞n∏k=1cosx2k=sin xx
limx→π2sin xx
=sin π2π2
=2π.