Density functional theory without the Born–Oppenheimer approximation and its application