分母多项式的实根排除 m>2n。
显然 m>nm>nm>n。若 m>2nm>2nm>2n，取 0<r<10<r<10<r<1 满足 rn+r2=1r^n+r^2=1rn+r2=1。整除性给出 rm+r−1=0r^m+r-1=0rm+r−1=0，但 r>3/4r>3/4r>3/4 且 rm<r2n=(1−r2)2<1−rr^m<r^{2n}=(1-r^2)^2<1-rrm<r2n=(1−r2)2<1−r，矛盾。因此 undefined。