The article linked does, yes. The paper the article is based on (linked in the article) has a proof for worst case load if you’re interested in the details.

Edit: Link to paper http://www.eecs.harvard.edu/~michaelm/postscripts/handbook20...