将正比例函数y=3x的图像向下平移4个单位长度后,所得到函数图像的解析式为?