已知分段函数f(x)=2x^2+1  x>1;3x  x<=1，编写函数并命名为fun，并计算f(1)+2f(3)；