如图，点A的坐标为（4，2）．将点A绕坐标原点O旋转90°后，再向左平移1个单位长度得到点A′，则过点A′的正比例函数的解析式为．