Homework

Homework 0

This homework is not for credit. It is just to get you used to the Gradescope system.

1. Let \(n\geq 5\) be an integer. Show that \(n ^ 2 > 2n + 11\).

   @[autograded 5]
   theorem problem1 {n : ℤ} (hn : n ≥ 5) : n ^ 2 > 2 * n + 11 :=
     sorry