typo im Irrationalitätsbeweis von log_sqrt(2) 3.
Danke an Patrick!