Thus F is at most a multiple of G plus......
The last term is bounded by a constant multiple of the norm of g.