Randomized Quicksort has O(nlog(n)) as worst-case order of complexity (fixed comment)