\begin{frage}[2]%% Anzahl Punkte für diese Aufgabe
Geben Sie die Lösung der folgenden Exponentialgleichung mit Hilfe von
Zehnerlogarithmen ($\lg = \log_{10}$) an und vereinfachen Sie so weit
wie möglich:

$$5^x = 1000$$

$$ x =  \LoesungsRaum{\frac{3}{\lg(5)}}$$
(Lassen Sie die exakten Logarihtmen stehen. Sie erhalten keine Zusatzpunkte
für eine Darstellung mit gerundeten Werten.)
  \platzFuerBerechnungen{4.4}
\end{frage}