x<1x<1x<1 では全ての項が負なので不等式は成り立たない。(70,+∞)(70,+\infty)(70,+∞) では fff は +∞+\infty+∞ から 000 へ減少するから、f(r70)=5/4f(r_{70})=5/4f(r70)=5/4 を満たす一意な r70>70r_{70}>70r70>70 がある。したがって解集合は 1≤n≤701\le n\le701≤n≤70 に対する (n,rn](n,r_n](n,rn] の互いに素な和である。