A local library manager randomly surveys 80 patrons about the type of book they borrow when they visit the library. The manager finds that 3 patrons from the survey borrow novels. If the local library has 345 patrons, approximately how many of them borrow novels when they visit the library? (HINT: It might be helpful to set up a proportion to solve.)

Round your answer to the nearest whole number.

If 3 patrons out of 80 borrow novels, we can set up a proportion to find out how many out of 345 patrons borrow novels.

3/80 = x/345

Cross multiplying, we get:

80x = 3 * 345

80x = 1035

Solving for x, we get:

x = 1035/80

x ≈ 12.94

Rounded to the nearest whole number, approximately 13 patrons out of 345 borrow novels when they visit the library.