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