I'm currently reading Romer's advanced macroeconomics, and encounter a question of linear stability of the model at the steady state.
We have the key equation $k'(t)=sf(k(t))-(n+g+\delta)k(t)$, where $k$ is capital per effective labour, $n,g,\delta$ each represents constant growth rate of labour, knowledge and depreciation rate of capital, respectively.
Use linear stability analysis, steady state is where $k'(t)$ is zero, denoted by $\bar k$. We can check the nature of the steady state by using $sf'(\bar k)-(n+g+\delta)$. We want to prove that the sign of it is negative.
We know $f'(k) >0$ and $f''(k)<0$, also other assumptions of $f$ given in the Solow model. Is it possible to prove it mathematically?