The proof of Baker's theorem contained such bounds, solving Gauss' class number problem for class number one in the process.
A Baker-tétel bizonyításában szerepelnek ilyen korlátok, menet közben megoldva Gauss osztályszámproblémáját az n=1 esetre.