рд╣рд╛рд░реНрдореЛрдирд┐рдХ рдирдВрдмрд░ рдХреНрдпрд╛ рд╣реЛрддрд╛ рд╣реИ?
nрд╡рд╛рдБ рд╣рд╛рд░реНрдореЛрдирд┐рдХ рдирдВрдмрд░, рдЬрд┐рд╕реЗ \(H(n)\) рд▓рд┐рдЦрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдкрд╣рд▓реЗ n рдзрди рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдХреЗ рд╡реНрдпреБрддреНрдХреНрд░рдореЛрдВ рдХрд╛ рдпреЛрдЧ рд╣реИ: $$H(n) = 1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n}$$ рдпрд╣ рдкреНрд░рд╕рд┐рджреНрдз рд╣рд╛рд░реНрдореЛрдирд┐рдХ рд╢реНрд░реЗрдгреА рдХрд╛ рдЖрдВрд╢рд┐рдХ рдпреЛрдЧ рд╣реИ, рдЬреЛ рдЧрдгрд┐рдд рдХреА рд╕рдмрд╕реЗ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдзреАрд░реЗ-рдзреАрд░реЗ рдЕрдкрд╕рд░рд┐рдд (diverge) рд╣реЛрдиреЗ рд╡рд╛рд▓реА рд╢реНрд░реЗрдгрд┐рдпреЛрдВ рдореЗрдВ рд╕реЗ рдПрдХ рд╣реИред рд╣рд╛рд▓рд╛рдБрдХрд┐ рдЬреБрдбрд╝рдиреЗ рд╡рд╛рд▓рд╛ рд╣рд░ рдкрдж рдЫреЛрдЯрд╛ рд╣реЛрддрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдлрд┐рд░ рднреА n рдмрдврд╝рдиреЗ рдХреЗ рд╕рд╛рде рдХреБрд▓ рдпреЛрдЧ рдмрд┐рдирд╛ рдХрд┐рд╕реА рд╕реАрдорд╛ рдХреЗ рдмрдврд╝рддрд╛ рд░рд╣рддрд╛ рд╣реИ тАФ рдмрд╕ рдмрд╣реБрдд рдзреАрд░реЗ, рд▓рдЧрднрдЧ n рдХреЗ рдкреНрд░рд╛рдХреГрддрд┐рдХ рд▓рдШреБрдЧрдгрдХ (natural log) рдХреА рд░рдлреНрддрд╛рд░ рд╕реЗред
рдЗрд╕ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдПрдХ рдзрди рдкреВрд░реНрдг рд╕рдВрдЦреНрдпрд╛ n (рдкрджреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛) рджрд░реНрдЬ рдХрд░реЗрдВ, рдФрд░ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ k = 1 рд╕реЗ рд▓реЗрдХрд░ k = n рддрдХ \(\frac{1}{k}\) рдХрд╛ рдпреЛрдЧ рдХрд░ рджреЗрдЧрд╛ред рдкрд░рд┐рдгрд╛рдо \(H(n)\) рдХрд╛ рд╕рдЯреАрдХ рджрд╢рдорд▓рд╡ рдорд╛рди рд╣реЛрддрд╛ рд╣реИред рдЖрдк рдЗрд╕рдХреА рддреБрд▓рдирд╛ рдЕрдиреБрдорд╛рдирд┐рдд рд╕реВрддреНрд░ \(H(n) \approx \ln(n) + \gamma\) рд╕реЗ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ, рдЬрд╣рд╛рдБ \(\gamma \approx 0.5772\) рдСрдпрд▓рд░тАУрдорд╛рд╕реНрдХреЗрд░реЙрдиреА рд╕реНрдерд┐рд░рд╛рдВрдХ рд╣реИ; рдмрдбрд╝реЗ n рдХреЗ рд▓рд┐рдП рдпрд╣ рдЕрдиреБрдорд╛рди рдмреЗрд╣рдж рд╕рдЯреАрдХ рд╣реЛ рдЬрд╛рддрд╛ рд╣реИред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдореВрд▓ рд╕реВрддреНрд░ рд╣реИ $$H(n) = \sum_{k=1}^{n} \frac{1}{k}$$ рдЬрд╣рд╛рдБ k = 1 рд╕реЗ n рддрдХред рдЗрд╕рдХрд╛ рдХреЛрдИ рд╕рд░рд▓ рдмрдВрдж рд░реВрдк (closed form) рдирд╣реАрдВ рд╣реЛрддрд╛, рдЗрд╕рд▓рд┐рдП рдорд╛рди рдХреЛ рдкрдж-рджрд░-рдкрдж рдЬреЛрдбрд╝рдХрд░ рдирд┐рдХрд╛рд▓рд╛ рдЬрд╛рддрд╛ рд╣реИред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, $$H(4) = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} = 1 + 0.5 + 0.333\ldots + 0.25 = 2.08333\ldots$$
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
n = 5 рдХреЗ рд▓рд┐рдП: $$H(5) = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} = 1 + 0.5 + 0.333333 + 0.25 + 0.2 = 2.283333$$ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рд╕реАрдзреЗ рдпрд╣реА рдорд╛рди рджреЗрддрд╛ рд╣реИред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдХреНрдпрд╛ рд╣рд╛рд░реНрдореЛрдирд┐рдХ рд╢реНрд░реЗрдгреА рдЕрднрд┐рд╕рд░рд┐рдд (converge) рд╣реЛрддреА рд╣реИ? рдирд╣реАрдВред рдЕрдирдВрдд рд╣рд╛рд░реНрдореЛрдирд┐рдХ рд╢реНрд░реЗрдгреА рдЕрдкрд╕рд░рд┐рдд рд╣реЛрддреА рд╣реИ, рдЗрд╕рд▓рд┐рдП n рдмрдврд╝рдиреЗ рдХреЗ рд╕рд╛рде \(H(n)\) рд▓рдЧрд╛рддрд╛рд░ рдмрдврд╝рддрд╛ рд░рд╣рддрд╛ рд╣реИ, рднрд▓реЗ рд╣реА рдмрд╣реБрдд рд╣реА рдзреАрд░реЗред
H(1) рдХрд┐рддрдирд╛ рд╣реЛрддрд╛ рд╣реИ? \(H(1) = 1\), рдХреНрдпреЛрдВрдХрд┐ рдЗрд╕ рдпреЛрдЧ рдореЗрдВ рдХреЗрд╡рд▓ рдПрдХ рд╣реА рдкрдж рд╣реЛрддрд╛ рд╣реИ, \(\frac{1}{1}\)ред
рдЗрд╕реЗ "рд╣рд╛рд░реНрдореЛрдирд┐рдХ" рдХреНрдпреЛрдВ рдХрд╣рддреЗ рд╣реИрдВ? рдпрд╣ рдирд╛рдо рд╕рдВрдЧреАрдд рд╕реЗ рдЖрдпрд╛ рд╣реИ: рдХрд┐рд╕реА рдХрдВрдкрд┐рдд рддрд╛рд░ рдХреЗ рдЕрдзрд┐рд╕реНрд╡рд░рдХреЛрдВ (overtones) рдХреА рддрд░рдВрдЧрджреИрд░реНрдзреНрдп рдореВрд▓ рддрд░рдВрдЧрджреИрд░реНрдзреНрдп рдХреА 1, 1/2, 1/3, 1/4, ... рдЧреБрдирд╛ рд╣реЛрддреА рд╣реИрдВред