ダウンロード

k を k = 1,2,...,n で定める。