Definition:Characteristic function of random variable