k=0を見捨ててないか?
関係式が成り立つのはk≧1のときだから
k=0は別にださなあかん