無限回微分可能(解析的)ならどうですか?