>>142
lim(n→∞) ((2n)Cn+2×Σ(1≦k≦[n/6]) (2n)C(n-6k))/4^n
みたいな感じかな