The second-order condition for maximization is fulfilled.