” はさみうちの定理 “は、サンドイッチのように対象とする関数をはさみます。下からの評価と上からの評価が同じ値に収束するときに、はさまれている真ん中の関数も、その値に収束するということを意味している定理です。