In 2015, there were roughly 1 x 10 high school football players and 2 x 10
professional football players in the United States. About how many times more high
school football players are there? Explain how you know.