[I heard this problem from Bertrand Meyer, who had heard it was once given on the Putnam exam.]

At some point during a baseball season, a player has a batting average of less than 80%. Later during the season, his average exceeds 80%. Prove that at some point, his batting average was exactly 80%.

Also, for which numbers other than 80% does this property hold?