>因みに >>779は解析の専門家じゃないか？
>少なくとも解析系の院卒の可能性が高い。
>まず文系では無いだろう。

お褒めの言葉と受け取っておきます。
私の所属する学部は日本では文系に分類されています。
院卒と推測されたようですがまだ学部すら卒業していません。

>>証明ですが、fを台がコンパクトな連続関数で近似すれば簡単に示せるので
>
>これは文系にはまず言えない。

この程度は普通に教科書に書いてあることです。
台コンパクトは多様体やルべーグ積分をやった時に出会った用語だと記憶しています。