>>253
微分積分程度で実数論が壁になるって、どんなケース?