まず任意の実関数 "g" で閉区間で連続、開区間で微分可能、さらに導関数 "g&amp;apos;" の値が開区間上で非0となるものを考える。