Linearity of Aggregate Production Functions

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.