$PROVE is close to 1$