# A simple proof of Cobb-Douglas production function can be obtained from CES production function with Wolfram Alpha

In my previous post, we saw that we can derive Cobb-Douglas production function from CES production function when the elasticity of substitution is equal to zero. In this blog, we will show that it is quite easy to obtain a Cobb-Douglas production function from CES production function and to check the results with Wolfram Alpha.

We can recall the expression of the CES function that we used (with constant returns to scale):

Now, we use the exponential:

Consider the first-order Maclaurin expansion (Taylor expansion centered at zero) of the term inside the logarithm, with respect to ρ, as explain here:

\begin{align*}
& a (K^{\rho}) +(1-a) (L^{\rho}) \\
& = a (K^{0}) +(1-a) (L^{0}) +a (K^{0})\rho\ln K \\
& +(1-a) (L^{0})\rho\ln L + O(\rho^2) \\
& =a+(1-a)+a\rho \ln K+(1-a)\rho \ln  + O(\rho^2) \\
& = 1 +\rho \big[\ln K^{a}L^{(1-a)}\big]+ O(\rho^2)
\end{align*}

You can check that the symbolic value the derivative of the term inside the brackets here for the capital and here for the labor. In a previous post, I tried to give an intuitive explanation of the Big-O notation. The first-order Maclaurin expression can be checked by typing the following formula in Wolfram Alpha:

Series[a K^ρ + (1 - a) L^ρ, {ρ, 0, 0}]

Insert this in equation (1):

Y=\Big(1 +\rho \big[\ln K^{a}L^{(1-a)}\big]+ O(\rho^2)\Big)^{\frac{1}{\rho}}

Define r = 1/ρ and re-write,

Y=\Big(1 +\frac{ \big[\ln K^{a}L^{(1-a)}\big]}{r}+ O(r^{-2})\Big)^{r}

The Big-O terms that capture the remainder of the approximation will approach tends to 0 where r tends to infinity (I thank Mario Veruete for his crystal-clear explanation on this point!). Now it gives an expression whose limit at infinity will give us an exponential:

\lim_{\rho\rightarrow 0}Y = \lim_{r\rightarrow \infty}Y = \left(\exp\left\{ \ln K^{a}L^{(1-a)}\right\} \right)
\lim_{\rho\rightarrow 0}Y =  K^{a}L^{(1-a)} \quad (3)

In Wolfram Alpha, you can enter the following following formula to check the results:

Limit[(a K^ρ + (1 - a) L^ρ)^(1/ρ), ρ -> 0]

This show that the CES production function gives the Cobb-Douglas production function when ρ tends to 0.