Bertrand's postulate and the existence of finite fields

Abstract

This is an expository note discussing how the Erdos--Ramanujan proof of Bertrand's postulate may be adapted to show the existence of finite fields.