{"id":"rounding-plus-one-is-load-bearing","text":"The `+1` before `//2` in the odd-subarray formula is necessary: when `(i+1)*(n-i)` is odd, there is exactly one more odd-length subarray than even-length, and omitting the `+1` undercounts","truth_value":"IN","source":"entries/2026/06/06/sum-of-all-odd-length-subarrays-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"rounding-plus-one-is-load-bearing","truth_value":"IN","reason":"premise"}]}}