O site da Prefeitura de Lucas do Rio Verde – MT lista seis atrativos turísticos naturais, que são: Figueira, Horto Municipal, Lago Ernani José Machado, Lago Harri Müller, Parque dos Buritis e Rio Verde.
Um turista pretende visitar quatro desses seis atrativos, incluindo obrigatoriamente os dois lagos. Assim, essa escolha poderá ser feita de, no máximo, X maneiras distintas. O valor de X é igual a:
