4" or less seems fair for a "pencil dick", 5.5" being average girth.
I'd consider it 4 or less too, I played around with a tape measure and it's weird how some size differences seem to make a bigger difference, the difference between 5 and 6 inches doesn't look nearly as big as the difference between 6 and 7 inches, 7 looks MASSIVE.