>>80
帰納法でαnの一般項がその形になることを示せば