I'm having trouble with this particular language: $$\{a^i b^j c^k \mid i+j \le k\}$$
If it's not context-free, I don't know how to correctly apply the Pumping Lemma for CFLs; if it is context-free, I don't know how to create a context-free grammar that generates this language.
Which one applies? Can you help me out?