0603righ1113 ◆OPKWA8uhcY 垢版 | 大砲2018/08/10(金) 23:41:44.61ID:tK64NAzp 拡張完全割数列のうちで、後ろに無限に長く、base caseである21[6]にたどり着かない、 最小反例を考えます。 この割数列にstar変換を施したものも、後ろの方は変わっていないので、反例です。 この反例が最小反例よりも小さければ、矛盾を引き出すことができます。 こういう目論見です。