If it's worth saying, but not worth its own post, then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should start on Monday, and end on Sunday.
4. Unflag the two options "Notify me of new top level comments on this article" and "
Yeah I thought about those two cases as well, but I agree that they are correct. Perhaps we could make the proof a bit simpler by picking the X direction to be one that the balls never travel perpendicular too (although in fact I can't even think of a proof that such a direction exists).
That wouldn't help with the first case, because a ball can stop completely. Let's keep the proof as it is :-)