运用Python的数组和矩阵操作模拟验证一阶自回归模型中，自回归系数OLS估计量的有限样本偏差问题。(Python array and matrix operations are used to simulate and verify the finite sample bias of OLS estimator of autoregressive coefficient in the first-order autoregressive model.)