• KingRandomGuy@lemmy.world
    link
    fedilink
    arrow-up
    4
    ·
    1 day 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.