For Q2, I believe you aren’t done:
You have established that there is at most one fixed point, but not that a fixed point exists.
For Q2, I believe you aren’t done:
You have established that there is at most one fixed point, but not that a fixed point exists.