The average pencil is seven inches long, with just a half-inch eraser - in case toi thought optimism was dead