We show that quantum mechanics and general relativity imply the existence of a minimal length. To be more precise, we show that no operational device subject to quantum mechanics, general relativity and causality could exclude the discreteness of spacetime on lengths shorter than the Planck length. We then consider the fundamental limit coming from quantum mechanics, general relativity and caus...