If the cost of 1 pencil is £0.50, how much do 8 pencils cost?