Dado que "G"("k") ≤ "g"("k") para todo "k", esto muestra que "G"(2) = 4.