>>169 >>179
expの級数展開を有限桁で打ち切ったものを使って
eを上下から押さえるように誘導すればよいかと。