Cauchy Induction

Stream: new members

[Shimon Schlessinger]

I would like to make a PR for Cauchy Induction (https://artofproblemsolving.com/wiki/index.php/Cauchy_Induction). Can I get GitHub permissions for that (Username: Shimonschlessinger)?

[Kevin Buzzard]

@maintainers

BTW I've only ever seen it used to prove AM-GM, so it's funny that that's the example :-)

[Bhavik Mehta]

Here's a different use of it: https://math.stackexchange.com/questions/83383/midpoint-convex-and-continuous-implies-convex/83398#83398

[Rob Lewis]

Invite sent!

[Shimon Schlessinger]

Thank you!

[Junyan Xu]

This was PR'd as #15880 but unfortunately still not merged. @Shimon Schlessinger Do you still plan to address the comments, or should I adopt? I have another application in mind: to check a ring is reduced, it suffices to show that x^2=0 implies x=0 (or any n > 1 in place of 2).

[Shimon Schlessinger]

May you adopt it? I have not had the time to address the PR, and likely will not for the foreseeable future.

[Junyan Xu]

Okay!

[Junyan Xu]

All comments have been addressed and CI now passed at #15880 !