>>348
でも、n=0の解が、a=∞以外の場所にないことを示さないと
証明は完成しないのではないですか?

a=∞でなければならない理由が「そうなるから、としかいいようがない」では
証明にはなっていないと思われます。