integrate 2e^{-x-y} for x=y..infinity