(que, al ser normalizado para formar una medida de probabilidad, es la distribución semicircular de Wigner).