# Fungrim entry: 9d0839

$p_{n} = \text{A000040}\!\left(n\right)$
Assumptions:$n \in \mathbb{Z}_{\ge 1}$
References:
• Sequence A000040 in Sloane's On-Line Encyclopedia of Integer Sequences (OEIS)
TeX:
p_{n} = \text{A000040}\!\left(n\right)

n \in \mathbb{Z}_{\ge 1}
Definitions:
Fungrim symbol Notation Short description
PrimeNumber$p_{n}$ nth prime number
SloaneA$\text{A00000X}\!\left(n\right)$ Sequence X in Sloane's OEIS
ZZGreaterEqual$\mathbb{Z}_{\ge n}$ Integers greater than or equal to n
Source code for this entry:
Entry(ID("9d0839"),
Assumptions(Element(n, ZZGreaterEqual(1))))