I would like to find out if this language is context free or not:
$\qquad L=\{a^{i}b^{j}c^{k} \mid i<j,i+2j+3<k\}$.
I've tried to apply the pumping lemma taking out $w=a^n b^{n+1}c^{3n+6}$ which is in the language, where $n$ is the natural number given by the lemma. I can write $w=uvwxy$ such that $|vx|≥1$ and $|vwx|≤n$. But I didn't get to any contradiction yet.
Any ideas?
