How many different types of mammals are there in the world?

Question: How many different types of mammals are there in the world?

Choices:

Around 4000
Around 1000
Around 500
Around 250

Correct answer:

Around 4000