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)