y=0を代入するのが目的ならべき乗の式は
有限和Σ[k=0,y]でいいんじゃないの?