1. (5 marks). Prove that there is some positive number 0 such that 07 - 20 + sin(02 + 1) = V5. You are unlikely to remember the exact numbers of theorems and definitions from the text, so you do not need to include them, but you should still state clearly any definition or theorem that you use