liminfとかlimsupの定義おしえてくだしあ
どうとらえたらいいの??