k=nまでとって、(sinx/2^n)を両辺にかけると
sinx(sinx/2^n)=x(cos(x/2)cos(x/4)…cos(x/2^n)sin(x/2^n)
=x(cos(x/2)cos(x/4)…(1/2)sin(x/2^(n-1))
=x(1/2)^n(sinx)
sin(x/2^n)/{x/2^n}　→１　（ｎ→∞）