Yu Zheng
该方法是基于观察到，对于正整数formula_1，我们有