他の例: E

の数値近似を計算する．

In[1]:=

Out[1]=

こうするとオイラー(L. Euler)による有名な結果が得られる．

In[2]:=

Out[2]=

のような定数は数値的なので，Mathematicaはこのような不等式を評価できる．

In[3]:=

Out[3]=