Problem 3 There are two parts:

(a) [EML.Chapter_2.pdf,

page 32]: Do part 1 of Exercise 48.

(b) [EML.Chapter_2.pdf, page 33]: Do part 3 of Exercise 48.

In your solutions for Problem 4, Problem 5, and Problem 6 as LEAN_4 scripts, you may want to

include the following imports from the LEAN_4 library (possibly not all of them, but you will have to

experiment to find out if all are needed):

import Mathlib.Data.Real. Basic

import Mathlib. Tactic. Interval Cases

import Library. Theory. Comparison

import Library. Theory. Parity

import Library. Theory. Prime

import Library. Tactic. ModCases

import Library. Tactic. Extra

import Library. Tactic. Numbers

import Library. Tactic. Addarith

import Library. Tactic. Cancel

import Library. Tactic. Use