Quicksort Average Case Derivation