Nat Sothanaphan

collaborators

3 papers

math.NT2026

Resolution of ErdÅs Problem #728: a writeup of Aristotle's Lean proof

Nat Sothanaphan

We provide a writeup of a resolution of ErdÅs Problem #728; this is the first ErdÅs problem (a problem proposed by Paul ErdÅs which has been collected in the ErdÅs Problems web…

math.MG2025

An improved lower bound to Erdos' problem concerning products of distances for fixed diameter

Nat Sothanaphan

Erdos, Herzog and Piranian asked whether, for $n$ points in the plane with fixed diameter (maximum distance between points), an arrangement of a regular $n$ -gon maximizes their pro…

math.NT2025

Irregular Stanley sequences plausibly do not have growth $I^ (n^{2} / lo g n)$

Nat Sothanaphan

Stanley sequences starting from the set ${0, n}$ where $n$ is a positive integer have long been conjectured to be divided into two types: the "regular" type where the growth rate…

Resolution of ErdÅs Problem #728: a writeup of Aristotle's Lean proof

An improved lower bound to Erdos' problem concerning products of distances for fixed diameter

Irregular Stanley sequences plausibly do not have growth I^(n2/logn)

Resolution of ErdÅs Problem #728: a writeup of Aristotle's Lean proof

Irregular Stanley sequences plausibly do not have growth $I^ (n^{2} / lo g n)$