The OP would need to consider whether the cable size as installed is less than 4mm or is at least 4mm.
If the cable is <4mm², and it's a radial on a 32A MCB, that is indeed, not fine.
The next size down from 4mm² is 2.5mm². I think we can safely discount 1.5mm² or 1mm² having been used on a 32A breaker no matter what the topology.
If the cable is 2.5mm², and it's a radial on a 32A MCB, that is indeed, not fine.
Not fine, in that it might need some consideration as to whether the cable size is adequate for the OPCD.
Not fine, in that it might need some consideration as to whether a 2.5mm² cable is adequate for a 32A OPCD.
Hence
What considerations would make a 2.5mm² cable adequate for a socket radial on a 32A device?
The OP might also like to consider whether the circuit is a ring or a radial.
If the cable is <4mm², and it's a radial on a 32A MCB, that is indeed, not fine.
What considerations would make a 2.5mm² cable adequate for a socket radial on a 32A device?
Oh, the irony."Consider - look attentively at"