A Pleijel-type theorem for the quantum harmonic oscillator

We prove a Pleijel-type theorem for the asymptotic behaviour of the number of nodal domains of eigenfunctions of the quantum harmonic oscillator in any dimension.