Over the useful lifetime of a pencil, how much of it is shaved off in the sharpening process? 

Notes