有没有最小的正整数