  We prove that when individual firms employ constant-returns-to-scale
production functions, the aggregate production function defined by the maximum
achievable total output given total inputs is always linear on some part of the
domain. Our result provides a microfoundation for the linear production
function.
