8.3 Test for one proportion

According to Statistica.com, \(30\)% of individuals in Sweden wore contact lenses in 2020 (the highest percentage in Europe).

Suppose a group of \(35\) Swedish computer programmers at a large company includes \(12\) that wear contact lenses. Is there evidence in this sample that a greater proportion of Swedish programmers wear contact lenses at this company, compared to the general Swedish population? Conduct a test, then write a conclusion (including a CI).

What assumptions are needed for this test to be statistically valid, and externally valid?