分割統治法を利用した数式についてです。

分割統治法についてです。
下記画像の再帰的に代入すると4^2 T(n/2)=....4^log2^n T(1)=n^log2^4 T(1)と数式が変化する過程、理由がわかりません。

数学に弱く数学的な知見が不足しているかもしれません。
噛み砕き解説いただけると幸いです。

参照：データ構造とアルゴリズム