Proof: , ,
,

,


for log-normal AR(1)
, while is , , .