어떤 함수 f 가 주어졌을때

lf(X)-f(P)l가 clX-Pl 보다 작거나 같다는 식을 유도해내서
X->P 일때 lX-Pl = 0 이 된다는 방식으로 연속성 증명해내는 게 있잖아요?

이 부등식을 뭐라고 부르는지 .................
필기 할때 분명 립시추 부등식 이라고 했는데,
이런거 찾아도 전혀 안나오네요.....

뭔가요! 알려주세요 ㅠ.ㅠ
사람이름이라고 조교님이 말씀 해주셨는데..


그리고 추가 질문이 생겼습니다!

김홍종 저 미적분학2 에서 27번 주석에 대한 것인데요,

라운드 x 분의 라운드 라는 표현이, 편미분의 기호로 썩 적합한 것이 아니라고 하시더라구요.
그것이 기호 라운드 x 분의 라운드 가 x 에만 의존하는 것이 아니라 "좌표계" (x,y) 전체에 의존하기 때문이라고 하셨구요.

이게 무슨 뜻인가요?? 그냥 d/dx 도 결과물이 좌표계 전체에 의존하게 되지 않나요?
라운드d/라운드dx 의 결과물이 단순히 x에만 초점이 맞춰지지 않아있다, 라는 점을 이야기 하시는건가요?

답변 부탁드립니다!