A set of average city temperatures in April are normally distributed with a mean of $19.7 ^\circ \text{C}$ and a standard deviation of $2 ^\circ \text{C}$. The average temperature of Kabul is $15 ^\circ \text{C}$.
**What proportion of average city temperatures are lower than that of Kabul?**
*Give your answer correct to four decimal places.*
[[☃ numeric-input 1]]