The rate at which a simple market converges to efficiency as the number of traders increases: An asymptotic result for optimal trading mechanisms