Hmm I don't think that's a typo. Isn't he saying that [a,x] is bounded, [x,y] is bounded, and therefore [a,y] is bounded?
Oops that was a very poorly worded question as well on my part... I meant: So we have [a,x] is bounded above from the first part("we note there exists x∈S such that...