olymmath

IMO 1970 Problem 3

  • Day 1

The real numbers a0,a1,a2,…a_0,a_1,a_2,\ldots satisfy 1=a0≤a1≤a2≤….b1,b2,b3,…1=a_0\le a_1\le a_2\le\ldots. b_1,b_2,b_3,\ldots are defined by bn=∑k=1n1−ak−1akakb_n=\sum_{k=1}^n{1-{a_{k-1}\over a_k}\over\sqrt a_k} .

a.) Prove that 0≤bn<20\le b_n<2 .

b.) Given cc satisfying 0≤c<20\le c<2 , prove that we can find ana_n so that bn>cb_n>c for all sufficiently large nn .

Dataset text AI-MO AoPS. Quoted with source.

Official text: IMO 1970 official English paper, page 1.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Locator imo/1970/p3 · Tag RBG5Q31EE0 · Edit this page on GitHub · Keys: j next, k previous