Если я все правильно понимаю, то обсуждается вопрос интегрируемости на бесконечности, а функция G = 2, при интегрировании ее по всей прямой даст бесконечность, т.е. не будет принадлежать множеству функций

, что противоречит условию теоремы.
Собственно функция о которой говорится в примере также не будет принадлежать этому множеству - ее интеграл будет, как я понимаю, пределом гармонического ряда то бишь бесконечностью.
Функция G, которая там рассматривается - "идеальная" мажоранта т.е. любая другая будет больше. С такой мажорантой работать чаще всего неудобно и подбирает более удобную.. Но это уже не отнонсится к Вашему вопросу.