이차항까진 걍 극한정의로 유도되는데