是不是任意函数都可以用解析式表示呢,可以证明吗?