solve 24 = 4/sqrt(1-(v/(3*10^8))^2) over reals