Decreasing and complete monotonicity of two functions defined by three derivatives of a completely monotonic function involving the trigamma function | Synapse