cs大一小登高数课上突发奇想 尝试解决 but in vain
是否存在这样的函数y(x)，满足：
1. 由隐方程 F(x,y)=0 确定（F是纯初等运算）；
2. y(x) 在定义域内处处单值且无法显式化；
3. y(x) 恰好就是某个初等函数f(x)的积不出原函数.
我感觉不存在🤓AI也如是说，但是它的证明我看不懂