[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?

©2019 K.R.M. Leino - Split Template by One Page Love