x lb*38 MJ/kg > 1/2 * x lb * (25010 mph)^2