>>583
>>578 の解答だとすると「πは超越数である事実」使えるの? 使うなら帰納法は不要では?