Rossers sats

Rossers teorem är inom talteori ett teorem som bevisades 1938 av J. Barkley Rosser.

Låt p_n vara det nte primtalet. Då gäller för n ≥ 1

$p_{n}>n\cdot \ln n.$

Resultatet har senare förbättrats till

$p_{n}>n\cdot (\ln n+\ln(\ln n)-1).$ (Havil 2003)

Referenser

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Rosser's theorem, 1 december 2013.