Statistics of The effect of sampling effort on mammalian paleodiversity: the fossil record of large and small mammals compared