Positive Definite Functions of a Real Variable