Agreed, but my thinking was that I would have thought that, in practice, a fault impedance anything like 100Ω would be incredibly unusual - far more likely to be no more than 'an ohm or two' or, at the other end of the spectrum, tens or hundreds of kΩ. With the 'common' low-impedance N-CPC or N-E faults, almost any real-world load on the circuits' would probably be enough for 30mA to go through the fault, and hence for the RCD to operate.If the fault impedance is say 100 ohms and the impedance of the neutral conductor through the RCD (*) is 1 ohm then the load current has to be 100 times the 30 mAmp RCD trip current. In this case a load current of 3 amps will result in a trip. (3.03 to be precise ). In reality the impedance through the RCD is often less than 0.1 ohm requiring a load current in excess of 30 amps before the RCD will trip.
Kind Regards, John