正項級数 Σa_n が収束すれば lim n * a_n = 0 は成り立つか成り立たないか?