Thread: Darboux sum

I have a question about finding out if a function is integrable and what is the integral. My question is about taking a partition which divides every subinterval to equal length.

I will take an easy example. f(x)=x² , [0,b] , where b is a positive real number. I have uploaded a picture of what I did.

Now It is clear to me why it is integrable, because we have created squence of partitions , and U(f,Pn)-L(f,Pn)-> 0 when n tends to infinity.
Which means for every epsilon there exists N such that for every n>N we get U(f,P)-L(f,P)<epsilon which means that it's integrable.

Now my question is , we defined two sets , I will call them with other names so it won't be confusing.

A={U(f,P) : P is the partition of the interval [0,b]}
B={L(f,P) : P is the partition of the interval [0,b]}

supA=infB then f is integrable at the given interval.

But when we take the limit when n tends to infinity , the supremum and infimum we get is not supA and infB because we took the set of all partitions with its subintervals having same length. Now don't I have to show that the supremum that I have found is actually supA? or the infimum that I have found is infB? And if so, how can I do that? Or can I create two sets we will call them C and D

C={U(f,P) : P is the partition of the interval [0,b], every subinterval has the same length}
D={L(f,P) : P is the partition of the interval [0,b], every subinterval has the same length}

Since we have supC<supA<infB<infD (the notation here is acctually less or equal)

But since we have found supC=infD we actually come to the conclusion supC=supA=infB=infD

Can I do it like this? And if this is true, is it redundant? and if it is why is it redundant? finding out that U(f,P)-L(f,P)<epsilon is enough to come to the conclusion that the inf and sup or two sets are equal? Thank you.