Commit 5476d5ab authored by Michael Kohlhase's avatar Michael Kohlhase

approxeq

parent 7afcb5fe
......@@ -8,7 +8,7 @@
$\logarithmicintbig{n}$ ist der
\mtrefi[logarithmicintegralbig?logarithmic-integral]{Integrallogarithmus}.
\[\defeq\skewesnumberriemann{\power\enumb{\power\enumb{\power\enumb{79}}}}\]
$\approxeq{\skewesnumberriemann,\power{10}{\power{10}{\power{10}{34}}}}$.
$\approxequal{\skewesnumberriemann,\power{10}{\power{10}{\power{10}{34}}}}$.
\end{definition}
\begin{definition}
......
......@@ -7,7 +7,7 @@
function}{NumberPrimeNumber} and $\logarithmicintbig{n}$ is the
\trefii[logarithmicintegralbig]{logarithmic}{integral}.
\[\defeq\skewesnumberriemann{\power\enumb{\power\enumb{\power\enumb{79}}}}\]
\[\approxeq{\skewesnumberriemann,\power{10}{\power{10}{\power{10}{34}}}}\]
\[\approxequal{\skewesnumberriemann,\power{10}{\power{10}{\power{10}{34}}}}\]
\end{definition}
\begin{definition}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment