First-order condition