Added proof for quick sort average case performance