人に踏まれて亡くなる蟻は、年間何匹くらいなんだろう?