Pauli–Jung conjecture