is_positive 함수에서 양의 정수를 올바르게 정의하는 조건은 무엇인가요?