benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / For each positive real number α, define ⌊αN⌋:=⌊αm⌋∣m∈N Let n be a positive integer. A set S⊆1,2,…,n has the property that: for each real β>0, if S⊆⌊βN⌋, then 1,2,…,n⊆⌊βN⌋ De… · Discussion

Discussing For each positive real number α, define ⌊αN⌋:={⌊αm⌋∣m∈N} Let n be a positive integer. A set S⊆{1,2,…,n} has the property that: for each real β>0, if S⊆⌊βN⌋, then {1,2,…,n}⊆⌊βN⌋ De… · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.