Local alternative のもとで power を計算しました。一様性はありません。・・・と思いましたが計算ミスあり。いろいろ修正し、所望の結果が得られた模様。明日、再確認します。 local alternative設定と実データとの関連。

set-valued function から定義される integral set の compactness の証明。

微積分：中間値の定理の後、微分の章に入りました。