If you buy 3 pencils for 5 pounds, how much does one pencil cost?