ak=5 + 52 + 53 + 54 + ... +5k
5ak=52 + 53 + 54 + ... +5k+5k+1
4ak=5k+1-5
ak=(5k+1-5)/4=5(5k-1)/4
ak=(5k+1-5)/4=5(5k-1)/4
If we can show that (5k-1)/4 is even for all k≥2 we are done.
That shows that ak is 5×an even number, i.e. divisible by 10.
(52-1)/4=6 even, but (53-1)/4=31.
We try to show that for 2k, an even number and ≥2 that a2k is divisible by 10.
We have result for 2k=2 above.
Assume that 52k-1 is a multiple of 8
Let 52k-1=8n and for k+1 we have
52(k+1)-1=52k+2-1=52(52k-1)+52-1=52(8n)+24=multiple of 8.