c:=67

a:=Pi

fonk1:=Sum[k^a , {k,1,c}]

fonk2:=Sqrt[Sum[Sum[((k-r)^a)*(k^a),{r,0,k-1}] ,{k,0,c}]+
Sum[Sum[((k-r)^a)*(k^a),{r,1,k-1}] ,{k,1,c}]]

m1:=N[fonk1,14]
m2:=N[fonk2,14]

ask:=TrueQ[m1==m2]
ask

True

    Source: geocities.com/timeparadox