Consider a firm that chooses the quantity of labour $L$ to hire which maximises its profits. As usual, we suppose that output $Y$ is increasing in $L$ but at a strictly decreasing rate; and for simplicity, we suppose that labour is the only input used in production. The firm takes wages $w$ and the price of its output $p$ as given (which is meant to capture the notion that the goods and labour market are 'perfectly competitive').
As everyone knows, the firm should hire labour until it has driven the marginal revenue product of labour down to the wage. That is, the optimal quantity of labour $L^*$ must satisfy
$ w=MPL(L^*)p$
Here is the puzzle. If the firm chooses this level of $L$, it will make no profit from the last worker. But since $MPL$ is strictly decreasing in $L$, that means it makes a positive profit on all of the previous workers. As a result, the firm must make a profit - something which is meant to be impossible in perfect competition, at least in the long run!
To see the point graphically, note that the firm's profits are given by the triangle below the 'VMPL curve' and above the market wage:
Clearly, the area of this triangle is positive!
Before opening this up to discussion, I'll review some possible solutions:
One might think that the solution relates to the distinction between 'economic profit' and 'accounting profit'. However, this is a mistake. Suppose that there are no costs associated with production other than the wage bill (e.g. decision making is 'free'). Then there is no distinction to be drawn (economic profit = accounting profit) and yet the puzzle persists.
One might think that, under perfect competition, prices (whether $w$ or $p$) somehow adjust to wipe out the profits. But, as can easily be seen (e.g. from the graph), profits will be strictly positive for any $w$ and $p$ that induces $L^* > 0$.
As you will have noticed, the firm won't make any profit if MPL is flat. Perhaps this needs to hold in the long run?
One final solution (my favourite) is that, in perfect competition, the only firms will exist are those which minimise their average costs. One might think that this then induces near zero $L^*$ and thus near zero profits. But here one hits a technical problem: there is no value of $L > 0$ which minimises average costs. For any $L^* > 0$ you choose, average costs will be lower if $L = L^* - \epsilon$ for some $\epsilon > 0$.
Thanks in advance for any thoughts on this!