A pencil sharpener is a device for sharpening a pencil's point by shaving one end.