A sharp bound on the Lebesgue constant for Leja points in the unit disk

We give a sharp bound for the Lebesgue constant associated with Leja sequences in the complex unit disk, confirming a conjecture made by Calvi and Phung in 2011.