# Waiting time in M/M/n queue

I was able to numerically "show" that an M/M/n queue is concave increasing in the number for $$n$$ servers, which makes intuitive sense. However is there a formal analytical proof for it? Where can I find it?