3 ms·

just take len ( Proof2 ) = infinity