初始文件数为 \( \frac{1000}{p} \)，出售部分后剩余为：