<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>The first four sections of this article include some auxiliary theorems related to number and finite sequence of numbers, in particular a primality test, the Pocklington's theorem (see [19]). The last section presents the formalization of Bertrand's postulate closely following the book [1], pp. 7-9.</p></abstract>

The first four sections of this article include some auxiliary theorems related to number and finite sequence of numbers, in particular a primality test, the Pocklington's theorem (see [19]). The last section presents the formalization of Bertrand's postulate closely following the book [1], pp. 7-9.

Pocklington's Theorem and Bertrand's Postulate

Casella Postale 49 54038 Montignoso, Italy

Formalized Mathematics

{"article-title":"Pocklington's Theorem and Bertrand's Postulate"}

The first four sections of this article include some auxiliary theorems related to number and finite sequence of numbers, in particular a primality test, the...

Pocklington's Theorem and Bertrand's Postulate

Published Online: Jun 09, 2008

Page range: 47 - 52

DOI: https://doi.org/10.2478/v10037-006-0007-y

This content is open access.