梅滕斯定理 本文使用了數學技術上的對數表記在不另外說明的狀況下本文中所有的 log  x displaystyle log x 都應視為自然對數也就是一般常記為 ln  x displaystyle ln x 或 log e  x displaystyle log ex 的對數 在解析數論中梅滕斯定理指的是三個弗朗茨梅滕斯在年證明的定理這些定理與質數密度相關 以下假定 p  n displaystyle pleq n 指的是所有不超過 n displaystyle n 的質數