Constructing Coproducts in Locally Cartesian Closed ∞-Categories