MathCastle
Proof WritingHardWhat a Proof Is

What a Proof Is · Hard problem

A proof contains the step "6∣n6 \mid n and 9∣n9 \mid n, so 54∣n54 \mid n". What is the smallest positive integer nn showing the step is invalid?