Kurs:Zahlentheorie (Osnabrück 2016-2017)/Zahlentheorie/Primzahlverteilung/Ungleichungen von Tschebyschow/Lemma 1/Fakt/Faktreferenznummer