Description: Closed form of exellimddv . See also exlimim for a more general theorem. (Contributed by ML, 17-Jul-2020)