First-order Condition for Expected Utility Maximization