Description: The function inftyexpitau written as a surjection with domain and range. (Contributed by BJ, 4-Feb-2023)