Positive cosmological constant in loop quantum cosmology