명제 설정 f x 는 r 에 정 의 된 기함 수 이 고 증 함수 이다. 만약 에 Fa + Fb 가 0 보다 크 면 a + b 가 0 보다 크 면

명제 설정 f x 는 r 에 정 의 된 기함 수 이 고 증 함수 이다. 만약 에 Fa + Fb 가 0 보다 크 면 a + b 가 0 보다 크 면


r 에 정의 되 는 기함 수 및 증 함수,
Fa + Fb > = 0
Fa > = - Fb = f (- b)
증 함수
a > = b
a + b > = 0