This document consists of two papers, both submitted, and supplementary material. The submitted papers are here given as Parts I and II. Their abstracts are given at pages 2 and 37 respectively. The supplementary material is given in appendices.The supplementary material includes material directed at answering questions stated in, or implicit in, the submitted papers. The maple code referenced in the supplements is available via https://sites.google.com/site/keadyperthunis/home/papers One of the questions is as follows. Let φ 1 (z) = arctan(1/z)/z. (φ 1 is, itself, completely monotone.) Is the inverse of φ 1 , denoted µ in the following, also completely monotone? Various approaches have been considered. Direct calculation of the higher derivatives of µ -with maple to handle the lengthy expressions -and an inductive argument is considered in work presented at page 25. Some complex variable approaches are instigated at page 33.Abstract Any function f from (0, ∞) onto (0, ∞) which is decreasing and convex has an inverse g which is positive and decreasing -and convex. When f has some form of generalized convexity we determine additional convexity properties inherited by g. When f is positive, decreasing and (p, q)-convex, its inverse g is (q, p)-convex. Related properties which pertain when f is a Stieltjes function are developed. The results are illustrated with the Stieltjes function f (x) = arctan(1/ √ x)/ √ x, a function which arises, via a transcendental equation, in an application presented in Part II.