Infinitude of Primes tutorial

Stream: new members

[Nathaniel Collins]

Hey all,
I'm trying to follow the infinitude of primes tutorial and I'm getting a failed to synthesize type class instance error. Below are the few lines of code I have written so far. I'm very new to Lean and trying to follow this guide to get a handle on how proofs look before I start trying to code in some of my undergrad stuff. Thank you all tremendously[!

image.png