{
  localUrl: '../page/8rh.html',
  arbitalUrl: 'https://arbital.com/p/8rh',
  rawJsonUrl: '../raw/8rh.json',
  likeableId: '0',
  likeableType: 'page',
  myLikeValue: '0',
  likeCount: '0',
  dislikeCount: '0',
  likeScore: '0',
  individualLikes: [],
  pageId: '8rh',
  edit: '2',
  editSummary: '',
  prevEdit: '1',
  currentEdit: '2',
  wasPublished: 'true',
  type: 'wiki',
  title: 'The Harmonic Series: How Comes the Divergence',
  clickbait: 'An intuitive way of viewing it',
  textLength: '5653',
  alias: '8rh',
  externalUrl: '',
  sortChildrenBy: 'likes',
  hasVote: 'false',
  voteType: '',
  votesAnonymous: 'false',
  editCreatorId: 'AltoClef',
  editCreatedAt: '2017-10-17 12:11:27',
  pageCreatorId: 'AltoClef',
  pageCreatedAt: '2017-10-17 11:48:27',
  seeDomainId: '0',
  editDomainId: '2835',
  submitToDomainId: '0',
  isAutosave: 'false',
  isSnapshot: 'false',
  isLiveEdit: 'true',
  isMinorEdit: 'false',
  indirectTeacher: 'false',
  todoCount: '0',
  isEditorComment: 'false',
  isApprovedComment: 'false',
  isResolved: 'false',
  snapshotText: '',
  anchorContext: '',
  anchorText: '',
  anchorOffset: '0',
  mergedInto: '',
  isDeleted: 'false',
  viewCount: '16',
  text: '## What are the Harmonic Series?\n\nFrom Wikipedia, [Haronmic Series](https://en.wikipedia.org/wiki/Harmonic_series_(mathematics))\n\n>In mathematics, the harmonic series is the divergent infinite series: Its name derives from the concept of overtones, or harmonics in music: the wavelengths of the overtones of a vibrating string are $1/2, 1/3, 1/4$, etc., of the string's fundamental wavelength. Every term of the series after the first is the harmonic mean of the neighboring terms; the phrase harmonic mean likewise derives from music.\n\nIt is basically a series defined like this:\n$$\n\\sum_{x=1}^{\\infty} \\frac{1}{x} = \\frac{1}{1} + \\frac{1}{2} + \\frac{1}{3} + \\ldots + \\frac{1}{\\infty}\n$$\nand it feels, intuitively, to be converging. However, it's actually the opposite.\n\n## Why are they diverging?\n\n### Mathematical Perspective\n\nThere are multiple ways to think about it and I find the following the easiest to understand.\n\n1. Use $f(x)=\\frac{1}{x}$ to regress the series and take an infinite integral:\n$$\n\\int_{1}^{\\infty} f(x) dx = ln(x)\n$$\n1. From  the above, if we are taking a finite integral\n$$\nln(x)|_{1}^{\\infty} = \\infty\n$$\n, we can see that the result diverges into infinity.\n\n### Intuitive Understanding\n\nEven if the fact that this series is diverging seems to be mathematically correct, it's really weird to think about it. Here's an intuitive way of thinking it.\n\nFor any infinite series, think of is as doing two things together:\n- The fact it's "infinite" is trying to push the sum of it into $\\infty$, in another word, divergence.\n- The fact that there is an altered term in every new sum added, is trying to push the sum into a finite value by making the newly generated value as small as possible, thus converging.\n\nAnd here we have a race between the two forces and by comparing the speed of change the two forces create, we know what's the result. \n\nLet's look at a similar series, that looks a lot alike to our series but actually converges.\n$$\n\\sum_{x=1}^{\\infty} \\frac{1}{x^n} = \\frac{1}{1^n} + \\frac{1}{2^n} + \\frac{1}{3^n} + \\ldots + \\frac{1}{\\infty^n}\n$$\nThe $n$ here is the key and in the Harmonic Series it equals 1. At here, let's use $n=2$ as an example to create our new series.\n$$\n\\sum_{x=1}^{\\infty} \\frac{1}{x^2} = \\frac{1}{1^2} + \\frac{1}{2^2} + \\frac{1}{3^2} + \\ldots + \\frac{1}{\\infty^2}\n$$\nOver the course of adding the first term to the $\\infty^{st}$ term, looking at the `first` force, we have a course of:\n- 1 -> $\\infty$ with step length of 1\n(Adding one more term each iteration)\nOver the course of adding the first term to the $\\infty^{st}$ term, looking at the `second` force, we have a course of:\n- 1 -> $\\infty$ with step length of $\\frac{1}{x^2-(x-1)^2}$, which proved to be $\\frac{1}{step_{x-1}+2}$. \n(Since we are comparing the force of shrinking a value, we can ignore the upper part of the fraction, which makes the step ${step_{x-1}+2}$)\nFor example, the steps between term_1, 2, 3, 4 are 3, 5 and 7.\n\nThis way, we can compare the first force with the second:\n$$\n\\frac{1}{step_{x-1}+2} < 0\n$$\nwhich means in all steps the speed convergence of this series is larger than the speed of divergence, which makes its overall behavior convergence. \n\n\nLet's look at another example series where `n=0.5`:\n$$\n\\sum_{x=1}^{\\infty} \\frac{1}{x^{0.5}} = \\frac{1}{1^{0.5}} + \\frac{1}{2^{0.5}} + \\frac{1}{3^{0.5}} + \\ldots + \\frac{1}{\\infty^{0.5}}\n$$\n\n(The steps between term_1, 2, 3, 4 are 0.4, 0.3 and 0.25.)\nAnd compare the two forces of it:\n$$\n\\frac{1}{(x^{0.5}-(x-1)^0.5)^2} > 0\n$$\nwhich means in all steps the speed convergence of this series is smaller than the speed of divergence, which makes its overall behavior divergence. \n\nFinally, time to deal with our `n=1` series. We surprisingly found that the speed of divergence is equal to the speed of convergence, which make it lies at the critical area that yet to be defined. \n\nHowever, we know that a series have to be either converges or diverges. Think of it like this: a man chasing another man holding a finish line, both of them are at the same speed. The fact that they are chasing each other makes sure the finish line is ahead of the man. This way, the man never gets to the finish line, thus making the final pattern diverges. \n\nTo draw a conclusion:\n$$\n\\sum_{x=1}^{\\infty} \\frac{1}{x^n}$$ Converges only if $n>0$\n\n## Extending the question\nFrom the above we can tell that the Harmonic Series indeed diverges, but at the critical speed where any tiny change in its speed of divergence/convergence could knock it into another side. What about we try to give it a knock?\nThese problem has already been discussed and the modified series are called Depleted Harmonic Series. \n\nIt's easy to conclude that changes like pulling away all the recipicals of odd numbers will cause this series to converge. \n\n### Prime Numbers?\nWhat about pulling away all the recipicals of prime numbers? I heard from a guy on a forum that it still diverges, but I haven't read any proves. \n\nThis sounds really anti-intuitive because we are excluding an infinite series out of another infinite series(Really? Not proved yet...) where its divergence speed is too low that any reduction will cause it to converge.\n\nThere is yet another possible way of thinking this.\n\nDue to the unknowns of prime numbers, I will replace them with "any series that gets sparser as it grows". We know that making a series of all the terms pulled out, this new series actually converges. So we are excluding a finite value out of infinite, which still, equals infinite.\n\nI can almost immidiently feel that a lot of my logics are really sloppy, please point out if anything is wrong. \n\n2017/10/17',
  metaText: '',
  isTextLoaded: 'true',
  isSubscribedToDiscussion: 'false',
  isSubscribedToUser: 'false',
  isSubscribedAsMaintainer: 'false',
  discussionSubscriberCount: '1',
  maintainerCount: '1',
  userSubscriberCount: '0',
  lastVisit: '',
  hasDraft: 'false',
  votes: [],
  voteSummary: 'null',
  muVoteSummary: '0',
  voteScaling: '0',
  currentUserVote: '-2',
  voteCount: '0',
  lockedVoteType: '',
  maxEditEver: '0',
  redLinkCount: '0',
  lockedBy: '',
  lockedUntil: '',
  nextPageId: '',
  prevPageId: '',
  usedAsMastery: 'false',
  proposalEditNum: '0',
  permissions: {
    edit: {
      has: 'false',
      reason: 'You don't have domain permission to edit this page'
    },
    proposeEdit: {
      has: 'true',
      reason: ''
    },
    delete: {
      has: 'false',
      reason: 'You don't have domain permission to delete this page'
    },
    comment: {
      has: 'false',
      reason: 'You can't comment in this domain because you are not a member'
    },
    proposeComment: {
      has: 'true',
      reason: ''
    }
  },
  summaries: {},
  creatorIds: [
    'AltoClef'
  ],
  childIds: [],
  parentIds: [],
  commentIds: [],
  questionIds: [],
  tagIds: [],
  relatedIds: [],
  markIds: [],
  explanations: [],
  learnMore: [],
  requirements: [],
  subjects: [],
  lenses: [],
  lensParentId: '',
  pathPages: [],
  learnMoreTaughtMap: {},
  learnMoreCoveredMap: {},
  learnMoreRequiredMap: {},
  editHistory: {},
  domainSubmissions: {},
  answers: [],
  answerCount: '0',
  commentCount: '0',
  newCommentCount: '0',
  linkedMarkCount: '0',
  changeLogs: [
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '22836',
      pageId: '8rh',
      userId: 'AltoClef',
      edit: '2',
      type: 'newEdit',
      createdAt: '2017-10-17 12:11:27',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '22835',
      pageId: '8rh',
      userId: 'AltoClef',
      edit: '1',
      type: 'newEdit',
      createdAt: '2017-10-17 11:48:27',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    }
  ],
  feedSubmissions: [],
  searchStrings: {},
  hasChildren: 'false',
  hasParents: 'false',
  redAliases: {},
  improvementTagIds: [],
  nonMetaTagIds: [],
  todos: [],
  slowDownMap: 'null',
  speedUpMap: 'null',
  arcPageIds: 'null',
  contentRequests: {}
}