Optimal progressive capital income taxes in the infinite horizon model