Look at a mechanical pencil, aka "lead holder" in larger diameter sizes. You can see all the lead options along with some recommended pencils/holders here: Mechanical Pencil Lead Size Comparison | JetPens
The Pilot Croquis linked above from Piranha and Amazon is also their recommendation for 4mm leads.
The Pilot Croquis linked above from Piranha and Amazon is also their recommendation for 4mm leads.