>>815
C^∞ではあるが実解析関数ではない有名例。