• KingRandomGuy@lemmy.world
    link
    fedilink
    arrow-up
    2
    ·
    3 hours ago

    Yep this is the exact issue. This problem comes up frequently in a first discrete math or formal mathematics course in universities, as an example of how subtle mistakes can arise in induction.