Un uomo=2,5 milioni di formiche

Sapete quale è la stima della popolazione delle formiche nel mondo?
Chi avrà fatto questo calcolo?
Comunque senza pensarci troppo, sono la bellezza di 20 milioni di miliardi, circa 2,5 milioni per ogni essere umano.
CV