First order condition