upvote
Just loop through all values of a, b, c, and n?
reply
Sure, go on and try it ;)
reply
I found a brilliant proof but there was not enough hard disk space to save the file :(
reply
Lean _is_ code. FLT cannot be proven by exhaustion because it's domain is an infinite set: the natural numbers above 2.
reply
If they’re asking that kind of question, do you think this answer will help them understand anything?
reply
maybe it will be an answer that entices them to understand more :)
reply