写像 a↦x=a2−12a\mapsto x=\tfrac{a^2-1}{2}a↦x=2a2−1 は a≥0a\ge0a≥0 で狭義増加であり、a=0↦x=−12a=0\mapsto x=-\tfrac12a=0↦x=−21、a→72↦x→458a\to\tfrac72\mapsto x\to\tfrac{45}{8}a→27↦x→845、a=1↦x=0a=1\mapsto x=0a=1↦x=0 を対応させる。0≤a<720\le a<\tfrac720≤a<27 と a≠1a\neq1a=1 を合わせると、ちょうど −12≤x<458-\tfrac12\le x<\tfrac{45}{8}−21≤x<845、x≠0x\neq0x=0 が得られる。