On the representation of the nested logit model

We give a two-line proof of a long-standing conjecture of Ben-Akiva and Lerman (1985) regarding the random utility representation of the nested logit model, thus providing a renewed and straightforward textbook treatment of that model. As an application, we provide a closed-form formula for the correlation between two Fr\'echet random variables coupled by a Gumbel copula.