On a conjecture of Widom