已知一个函数的导数为y′=cosx,且x=π/2时y=1,这个函数是?