>>317
＞ここで因数2m+1を持つと表現しているのは、2m+1で因数分解することができるという意味で用いています。

じゃあT[n-1]=2^(n-1)は2m+1で因数分解できるんですか？
2m+1を因数にもつのは引数に不定元nを含まないT[k]のみなので、論文内の議論は有限の項のみを取り出している状況でしか適用できません

>>324
一般には
p+1/2=Πpk^dk
なので
p=2Πpk^dk-1
でしょう
この場合はfはprのみで表すことはできていません
また、何度も指摘した通り2m+1を因数にもつのは有限回のステップで計算できる項についてのみです