>>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 だよ。