benchmarks.wiki / Public workspace
Omni-MATH / Let a₁,a₂,a₃,⋯ be a non-decreasing sequence of positive integers. For m≥1 , define b_(m)=minn:a_(n)≥m , that is, b_(m) is the minimum value of n such that a_(n)≥m . If a₁₉=85 , d… · Discussion
Discussing Let a₁,a₂,a₃,⋯ be a non-decreasing sequence of positive integers. For m≥1 , define b_(m)=min{n:a_(n)≥m} , that is, b_(m) is the minimum value of n such that a_(n)≥m . If a₁₉=85 , d… · Omni-MATH
Posts
Chronological order within this page.
State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.