加えて、

k を自然数として、

lim_{k → ∞} ∫ f(x) dx from x = 1 to x = k が存在すれば、

広義積分

∫ f(x) dx from x = 1 to x = +∞

が存在すると結論していますが、ギャップがありますね。