ある経済の生産関数が $Y=K^{\alpha}(EL)^{1-\alpha}$ で表されるとする（$Y$ は産出量、$K$ は資本、$L$ は労働、$E$ は労働1単位の効率、$0<\alpha<1$）。$E$ は労働増大型（ハロッド中立的）の技術進歩を表し、率 $g$ で上昇する。労働は率 $n$ で増加し、資本の減耗率は $\delta$、貯蓄率は $s$ で一定であり、貯蓄はすべて投資される。

ソロー・モデルに従うとき、定常状態における効率労働1単位あたりの資本 $\tilde{k}=\frac{K}{EL}$ を表す式として、正しいものはどれか。