Wallis公式，又名 点火公式
证明就是不断分部积分

如果他写的是求和的话你不断降低次数就行了

这里正好是奇数次，那么先放一个cosx到微分号里面，再用sin^2x+cos^2x=1化简即可

奇次幂可以直接凑微分。留下一个cosx=d(sinx)，剩下的等于(1-sin²x)^n，就能做了。