Added min_nat along with proofs.
Added mindepth function that returns the smallest depth in a bplustree