>>228 の〔系〕

Σ[k=1 to n] (1/2^k)tan{x'/(2^k)} = (1/2^n)cot{x'/(2^n)} - cot(x'),