An investor with constant absolute risk aversion trades a risky asset with general Itôdynamics, in the presence of small proportional transaction costs. In this setting, we formally derive a leading-order optimal trading policy and the associated welfare, expressed in terms of the local...