Mertens' first theorem

Summary

Mertens' first theorem is a theorem^[1].

Key Facts

• Mertens' first theorem is credited with the discovery of Franz Mertens^[2].
• Mertens' first theorem's instance of is recorded as theorem^[3].
• Franz Mertens is named after Mertens' first theorem^[4].
• Mertens' first theorem's part of is recorded as Mertens' theorems^[5].
• Mertens' first theorem's time of discovery or invention is recorded as +1874-00-00T00:00:00Z^[6].
• Mertens' first theorem's defining formula is recorded as |\sum_{p: p\leq n}\frac{\log p}{p} - \log n|\leq 2^[7].
• Mertens' first theorem's maintained by WikiProject is recorded as WikiProject Mathematics^[8].
• Mertens' first theorem's in defining formula is recorded as ||^[9].
• Mertens' first theorem's in defining formula is recorded as p^[10].
• Mertens' first theorem's in defining formula is recorded as \log^[11].
• Mertens' first theorem's PlanetMath ID is recorded as MertensFirstTheorem^[12].

Body

Works and Contributions

Mertens' first theorem is credited with the discovery of Franz Mertens^[2].