∫a dt