E = m*c/(1-v^2/c^2)^(1/2), solve for v