Question: when did the u.s. government recognize pi day as a holiday?
Answer: 2009