Define the context-free grammar \(G_1\) as \(S \to \varepsilon | a S b\).
\(\varepsilon \in L(G_1)\)
easy
\(ab \in L(G_1)\)