SMS dit: The size distribution of firms, cournot, and optimal taxation