>>146
もっとシンプルに
lim(n→∞) Σ(|k|≦[n/6]) (2n)C(n-6k)/4^n
でいいのか
結局3の倍数と1が偶数個という条件は極限的に独立とみなせて1/6に近づく