A convergence proof for adaptive finite elements without lower bound