A set of average city temperatures in August are normally distributed with a mean of $21.25 ^\circ \text{C}$ and a standard deviation of $2 ^\circ \text{C}$.
**What proportion of temperatures are between $23.71^\circ \text{C}$ and $26.17^\circ \text{C}$?**
*Give your answer correct to four decimal places.*
[[☃ numeric-input 1]]