>>430
いや書いてから思ったけどFは値域が開集合じゃないから滑らかじゃないじゃん