A non-immersion theorem for real projective space