← A first introduction to p-adic numbers