突发奇想，能不能找到一个渐进下界，bdfs无效。