User blog comment:Hyp cos/Analysis - BEAF, FGH and SGH (part 3)/@comment-25418284-20140627064155/@comment-5150073-20140627083720

I woudn't say that showing $$g_{\varepsilon_0}(n+k) > f_3(n)$$ is easy without referring to multiplication and exponentiation in FGH and using only iterations.