That actually seems right to me.
This is actually the line of reasoning used to explain that sup{L(f, P´)}=inf{U(f, P`)}
Since for any partition P, U(f,P) is greater than or equal to L(f,P') for any partition P', it follows that U(f,P) is an upper bound on {L(f,P)} From this, it follows that...