>>353と>>438の違いは
a(n)が(-2)^nという連続にならない項があり、a(n)が連続関数でないという違いがあるから
それが、>>353が正しく証明できる理由であるのかもしれない