Production Function
$Y_t = F(K_t, A_t L_t)$ — labor-augmenting (Harrod-neutral) technological progress.
Assumptions:
- $F_K > 0$, $F_{KK} < 0$ (positive but diminishing marginal product)
- Constant Returns to Scale (CRS): $F(\lambda K, \lambda AL) = \lambda F(K, AL)$, $\forall \lambda > 0$
- Inada Conditions: $F_K(0, AL) = \infty$, $F_K(\infty, AL) = 0$