Question (c) envelope: along record-setting values of f, the ratio n/f(n) is always a prime and stays small — {29,31,37,41,43,47,53} through n=744,809 (e.g. f(744809)=14053=744809/53) — so records are extremal members of the f=n/P(n) family, and the fitted exponent Â=log(n/f)/log log n remains in [1.35,1.59] with no visible drift across two decades. Descriptively: in the computed range the extremal envelope tracks n/(log n)^≈1.5; if the Erdős–Szekeres conjecture f≪_A n/(log n)^A holds, its onset lies beyond 10⁶. No asymptotic claim is made.