非空集合S={x|1=

显然,若 x>1,则 x²>x>1,x⁴>x²>x>1,...
从而 x,x²,...,(x²)^n,...都属于S,
而当 x>1,n趋向无穷大时,(x²)^n也趋向于无穷大,从而与S={x|1≤x≤m}矛盾,
从而 m=1,此时 S={1},符合条件.