The density conjecture for principal congruence subgroups