18/10/15 12:43:35.59 i7/FRo1V.net
>>770
> 全変数に１をいれるとF[n] = 2^n/n!なので十分大きいnでv_2(F[n]) < 0。
v_2は2進付値だよね。だったら、
v_2(n!) = Σ[k=1,∞] floor(n/2^k) ≦ Σ[k=1,∞] n/2^k ≦ n だから
v_2(F[n]) ≧ 0 だよ。
18/10/15 12:43:35.59 i7/FRo1V.net
>>770
> 全変数に１をいれるとF[n] = 2^n/n!なので十分大きいnでv_2(F[n]) < 0。
v_2は2進付値だよね。だったら、
v_2(n!) = Σ[k=1,∞] floor(n/2^k) ≦ Σ[k=1,∞] n/2^k ≦ n だから
v_2(F[n]) ≧ 0 だよ。