yeah you are right but that is the proof that bounded waiting is not satisfied. bounded waiting and progress are two different things. progress means at least one of the process should enter the critical section if it wants to. in the example you have given, at least p0 is entering the critical section. in case of progress, doesn't matter whether it's p0 or p1, at least should enter the critical section, if it is willing to enter.