上記の二つの漸化式からであり、に関して帰納的に