a,bを正の実数列として
Σa[n](1+b[n]) < ∞
Σa[n](1+b[n])log(1+b[n]) =∞
を満たすものがあれば終わりだが

Σa[n]<∞
Σa[n]b[n] < ∞
Σa[n]b[n]log(1+b[n]) = ∞
と変形できるけど…

1/n^(1+2ε), n^εよりも断然シビアなやつを作らなきゃいけなくてきつい