int m_0*c^2*v/((1-v^2/c^2)^(1/2)*(c^2 - v^2)) dv