Progressivity of capital gains taxation with optimal portfolio selection