I get zero by two methods, a Mathematica simulation, and a counting argument.
Mathematica simulation:
results = {}; results2={};
Module[{n = 10000000, outer, inner},
AbsoluteTiming[
For[k = 1, k <= 5, ++k,
sum1 = 0;
For[outer = 1, outer <= n, ++outer,
sum2 = 0;
For[inner = 1, inner <= 5, ++inner,
sum2 += RandomChoice[{-1, 1}]
];
AppendTo[results,sum2];
sum1 += sum2/5.0;
];
Print["{n, sum2, sum1/n}", {n, sum2, sum1/N[n]}];
AppendTo[results, {n, sum2, sum1/N[n]}];
]
]
]
results:
n = # Flips Sum last Average of n flips
5 flips
10000, 1, 0.0006400000000000063
10000, -3, -0.007840000000000005
10000, -1, -0.004319999999999987
10000, -3, -0.0022799999999999947
10000, 1, 0.00899999999999997
100000, -1, 0.0005719999999999979
100000, 3, 0.0025119999999999774
100000, -1, -0.000683999999999993
100000, -3, -0.0034999999999999923
100000, -1, 0.0016439999999999894
1000000, -3, -0.00005719999999999856
1000000, 1, 0.0005504000000000307
1000000, 1, 0.000036799999999996686
1000000, -1, 0.00013999999999999622
1000000, 1, 0.0006572000000000153
10000000, -1, -0.00001588000000000591
10000000, 3, -2.8800000000038654e-6
10000000, 1, -0.00011363999999998875
10000000, 3, 0.00022167999999998797
10000000, -1, 0.000014039999999994434
The counting argument:
only six sums are possible
-5,-3,-1,+1,+3,+5 and the averages are those divided by 5.
The sums of equal absolute value have an equal number of terms.
Since the negative and positive values cancel each other out, the average is zero.
Here is a count of the number of sums of each kind:
Tally[results2] ->
{{-1, 312475}, {1, 312595}, {5, 31378}, {-3, 155964}, {3,
156121}, {-5, 31467}}