Qual condição define corretamente um número inteiro positivo em uma função is_positive?