当 d≥0 时,不存在满足 a+b=2m=−2d 的对(因 m≤0),故对一切 n 都有 Pn=0。当 d=−m<0 时,满足 a<b≤n、a+b=2m、a<m≤b 的对数恰为 min(m−1,n−m)(当其非负时),当 n≥2m−1 时该数等于 m−1;故 supnPn=m−1。要求 m−1≤2021 给出 m≤2022,即 d≥−2022,且此界也是充分的。将 P 换成 −P 不改变任何 Pn(因 ∣−P∣=∣P∣),故族 P(x)=−x+d 恰在 −d≥−2022,即 d≤2022 时成立,分类完成。