Bit surprised that this
"Getting the median of a single sorted list is trivial: it is either the central value if the list has an odd-numbered length, or the mean of the two central values otherwise."
Is stated with no proof its not something I recall from collage