一只常见的小黑蚂蚁的体重在0.005g左右，但它们能举起超过自身体重400倍的物体，如果为难一下小蚂蚁，让它们把一头大象举起来，这些大力士能做到吗？ 请编写程序计算需要多少只蚂蚁可以举起大象。本题假定蚂蚁的体重正好为0.005g，能举起来的重量恰好是400倍体重。

首先，我们需要了解大象的体重。成年非洲象平均体重约在3至6吨之间，即3000000到6000000克。由于每只小黑蚂蚁能举起自身体重400倍的物体，我们先算出单只蚂蚁能举起的最大重量：

单只蚂蚁最大举力 = 0.005g * 400

然后将大象的体重除以单只蚂蚁的最大举力，得出所需蚂蚁的数量。由于结果会是一个很大的数字，并且蚂蚁不可能是无限多的，所以我们假设需要的蚂蚁数量应该是向上取整到最接近的整数。

以下是Python代码实现这个计算：

ant_weight = 0.005  # 单位：克
lifting_capacity_per_ant = ant_weight * 400  # 单位：克
average_elephant_weight = 3500000  # 假设平均体重，单位：克

# 计算需要多少只蚂蚁
ants_needed = (average_elephant_weight + ants_needed // 1) // lifting_capacity_per_ant

print(f"需要大约 {ants_needed} 只蚂蚁才能举起一头大象。")