>>82
超限帰納法を使えば作ることができることがわかったが、
もっと構成的な方法があるのならもう少し考えてみる。