Integrality gap