>>310
そのlimの定義を述べよ