Zulip Chat Archive

Stream: triage

Topic: PR #2784: feat(number_theory/bertrand): Bertrand's postulate


view this post on Zulip Random Issue Bot (Nov 23 2020 at 14:20):

Today I chose PR 2784 for discussion!

feat(number_theory/bertrand): Bertrand's postulate
Created by @Patrick Stevens (@Smaug123) on 2020-05-23
Labels: WIP

Is this PR still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Kevin Buzzard (Nov 23 2020 at 14:27):

My memory was that there is a relatively straightforward proof of Bertrand's postulate in an old number theory book by Minkowski which I don't have access to right now

view this post on Zulip Random Issue Bot (Dec 11 2020 at 14:24):

Today I chose PR 2784 for discussion!

feat(number_theory/bertrand): Bertrand's postulate
Created by @Patrick Stevens (@Smaug123) on 2020-05-23
Labels: WIP

Is this PR still relevant? Any recent updates? Anyone making progress?


Last updated: May 09 2021 at 16:20 UTC