optimal portfolio subgroup of portfolio, 1 assertions