lim inf -a_n = - lim sup a_n (맞는지는 모름) 같은 성질 모아놓은 거 없어?