9.6 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 includes \(12\) that wear contact lenses. Is there evidence in this sample that a greater proportion of Swedish programmers wear contact lenses, 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?