以下のソートアルゴリズムのうち、安定でありかつ平均・最悪ともに O(n log n) の時間計算量を持つものはどれか？

マージソートは分割統治法に基づき配列を分割して再帰的にソートし、マージ操作で安定性を保ちながら要素を結合します。計算量は分割とマージの各段階で O(n) を要し、深さが O(log n) のため平均・最悪ともに O(n log n) です。一方クイックソートは平均 O(n log n) だが最悪 O(n^2)、ヒープソートは O(n log n) だが安定ではなく、選択ソートは O(n^2) です。