「良い近似分数」とは「分母の大きさに比して良い近似を与える分数」
特に、そのような分数の無限列があれば、その極限は無理数であることが従う。
これは、「解析的な良い近似式の存在」とは必ずしも一致しない。
それが、解析学の一般論と数論との違い。
乙は、解析学の一般論から直ちに数論的性質が従うように錯覚しているが
もしそんなに単純な問題なら、そもそも未解決ではない。