Corr exercise "overshoot"

[c-joly]

(Slide 38 in the current version)
You claims that E_{bottom} >= E_{top} to overshoot.
I think we should say: E_{bottom} = E_{top} (no loss of energy) and E_{top} >= mgl (previous slide), which is enough to conclude.