によれば、この公式の始めの "k" 項の和は左辺の上界と下界を交互にとる: