2019/01/21 by Das, Madhuparna
#11A41 #11N05 #FOS: Mathematics #Number Theory (math.NT)
paper · doi:10.48550/arxiv.1901.07086
Bertrand's Postulate states about the prime distribution for the real numbers. The generalization of Bertrand's Postulate was proved by Das et al. [Arxiv 2018]. In this paper, we have formalized this idea for the Gaussian primes (or the primes on the complex plane). This result gives information about the prime distribution on the complex plane.