네 맞습니다. 사실 미분 가능하다는 내용이 없더라도, 역함수가 존재하기 위해서는 일대일 대응이어야 하기 때문에 단조 증가함수 이거나 단조 감소함수여야만 합니다.