Discussion between Raphael and greybeard

Imported from a comment discussion on https://cs.stackexchange.com/questions/77149/finding-the-half-with-greatest-elements-in-a-set/79254#79254