| ID | Claim | Value | Verified |
|---|---|---|---|
| F3-001 | At n=50, Hill and PWM tail indices differ by 5.89x | 5.893 | holds |
| F3-002 | At n=53, Hill and PWM tail indices differ by 5.16x | 5.156 | holds |
| F3-003 | At n=56, Hill and PWM tail indices differ by 4.27x | 4.27 | holds |
| F3-004 | At n=59, Hill and PWM tail indices differ by 6.18x | 6.178 | holds |
| F3-005 | At n=63, Hill and PWM tail indices differ by 3.90x | 3.9 | holds |
| F3-006 | At n=66, Hill and PWM tail indices differ by 6.37x | 6.368 | holds |
| F3-007 | At n=70, Hill and PWM tail indices differ by 3.43x | 3.432 | holds |
| F3-008 | At n=75, Hill and PWM tail indices differ by 3.69x | 3.691 | holds |
| F3-009 | At n=79, Hill and PWM tail indices differ by 5.45x | 5.449 | holds |
| F3-010 | At n=84, Hill and PWM tail indices differ by 4.71x | 4.707 | holds |
| F3-011 | At n=89, Hill and PWM tail indices differ by 4.14x | 4.141 | holds |
| F3-012 | At n=94, Hill and PWM tail indices differ by 4.35x | 4.349 | holds |
| F3-013 | At n=100, Hill and PWM tail indices differ by 7.35x | 7.347 | holds |
| F3-014 | At n=106, Hill and PWM tail indices differ by 3.83x | 3.834 | holds |
| F3-015 | At n=113, Hill and PWM tail indices differ by 4.68x | 4.681 | holds |
| F3-016 | At n=119, Hill and PWM tail indices differ by 4.86x | 4.862 | holds |
| F3-017 | At n=127, Hill and PWM tail indices differ by 4.52x | 4.524 | holds |
| F3-018 | At n=134, Hill and PWM tail indices differ by 4.47x | 4.47 | holds |
| F3-019 | At n=142, Hill and PWM tail indices differ by 4.77x | 4.77 | holds |
| F3-020 | At n=151, Hill and PWM tail indices differ by 4.67x | 4.674 | holds |
| F3-021 | At n=160, Hill and PWM tail indices differ by 4.49x | 4.494 | holds |
| F3-022 | At n=169, Hill and PWM tail indices differ by 3.85x | 3.854 | holds |
| F3-023 | At n=180, Hill and PWM tail indices differ by 3.31x | 3.305 | holds |
| F3-024 | At n=190, Hill and PWM tail indices differ by 3.91x | 3.911 | holds |
| F3-025 | At n=202, Hill and PWM tail indices differ by 3.53x | 3.532 | holds |
| F3-026 | At n=214, Hill and PWM tail indices differ by 4.33x | 4.331 | holds |
| F3-027 | At n=227, Hill and PWM tail indices differ by 5.19x | 5.193 | holds |
| F3-028 | At n=241, Hill and PWM tail indices differ by 4.76x | 4.763 | holds |
| F3-029 | At n=255, Hill and PWM tail indices differ by 3.89x | 3.888 | holds |
| F3-030 | At n=270, Hill and PWM tail indices differ by 4.32x | 4.318 | holds |
| F3-031 | At n=287, Hill and PWM tail indices differ by 4.66x | 4.655 | holds |
| F3-032 | At n=304, Hill and PWM tail indices differ by 4.97x | 4.969 | holds |
| F3-033 | At n=322, Hill and PWM tail indices differ by 4.32x | 4.317 | holds |
| F3-034 | At n=342, Hill and PWM tail indices differ by 4.16x | 4.163 | holds |
| F3-035 | At n=362, Hill and PWM tail indices differ by 4.35x | 4.354 | holds |
| F3-036 | At n=384, Hill and PWM tail indices differ by 4.39x | 4.386 | holds |
| F3-037 | At n=407, Hill and PWM tail indices differ by 4.68x | 4.681 | holds |
| F3-038 | At n=431, Hill and PWM tail indices differ by 3.95x | 3.951 | holds |
| F3-039 | At n=457, Hill and PWM tail indices differ by 4.68x | 4.681 | holds |
| F3-040 | At n=485, Hill and PWM tail indices differ by 4.12x | 4.116 | holds |
| F3-041 | At n=514, Hill and PWM tail indices differ by 4.70x | 4.698 | holds |
| F3-042 | At n=545, Hill and PWM tail indices differ by 4.16x | 4.157 | holds |
| F3-043 | At n=577, Hill and PWM tail indices differ by 4.07x | 4.065 | holds |
| F3-044 | At n=612, Hill and PWM tail indices differ by 4.27x | 4.27 | holds |
| F3-045 | At n=649, Hill and PWM tail indices differ by 4.32x | 4.323 | holds |
| F3-046 | At n=688, Hill and PWM tail indices differ by 4.57x | 4.566 | holds |
| F3-047 | At n=729, Hill and PWM tail indices differ by 4.27x | 4.268 | holds |
| F3-048 | At n=773, Hill and PWM tail indices differ by 3.89x | 3.89 | holds |
| F3-049 | At n=819, Hill and PWM tail indices differ by 4.03x | 4.026 | holds |
| F3-050 | At n=868, Hill and PWM tail indices differ by 4.17x | 4.169 | holds |
| F3-051 | At n=921, Hill and PWM tail indices differ by 4.26x | 4.263 | holds |
| F3-052 | At n=976, Hill and PWM tail indices differ by 4.46x | 4.464 | holds |
| F3-053 | At n=1034, Hill and PWM tail indices differ by 4.88x | 4.88 | holds |
| F3-054 | At n=1096, Hill and PWM tail indices differ by 4.30x | 4.303 | holds |
| F3-055 | At n=1162, Hill and PWM tail indices differ by 4.36x | 4.358 | holds |
| F3-056 | At n=1232, Hill and PWM tail indices differ by 4.57x | 4.569 | holds |
| F3-057 | At n=1306, Hill and PWM tail indices differ by 4.08x | 4.085 | holds |
| F3-058 | At n=1384, Hill and PWM tail indices differ by 4.49x | 4.493 | holds |
| F3-059 | At n=1467, Hill and PWM tail indices differ by 4.33x | 4.329 | holds |
| F3-060 | At n=1556, Hill and PWM tail indices differ by 4.40x | 4.404 | holds |
| F3-061 | At n=1649, Hill and PWM tail indices differ by 4.24x | 4.235 | holds |
| F3-062 | At n=1748, Hill and PWM tail indices differ by 4.38x | 4.375 | holds |
| F3-063 | At n=1853, Hill and PWM tail indices differ by 4.46x | 4.462 | holds |
| F3-064 | At n=1964, Hill and PWM tail indices differ by 4.13x | 4.128 | holds |
| F3-065 | At n=2082, Hill and PWM tail indices differ by 4.60x | 4.596 | holds |
| F3-066 | At n=2207, Hill and PWM tail indices differ by 4.25x | 4.251 | holds |
| F3-067 | At n=2339, Hill and PWM tail indices differ by 4.34x | 4.339 | holds |
| F3-068 | At n=2480, Hill and PWM tail indices differ by 4.37x | 4.371 | holds |
| F3-069 | At n=2628, Hill and PWM tail indices differ by 4.37x | 4.371 | holds |
| F3-070 | At n=2786, Hill and PWM tail indices differ by 4.36x | 4.356 | holds |
| F3-071 | At n=2953, Hill and PWM tail indices differ by 4.46x | 4.46 | holds |
| F3-072 | At n=3131, Hill and PWM tail indices differ by 4.44x | 4.438 | holds |
| F3-073 | At n=3318, Hill and PWM tail indices differ by 4.13x | 4.13 | holds |
| F3-074 | At n=3518, Hill and PWM tail indices differ by 4.60x | 4.603 | holds |
| F3-075 | At n=3729, Hill and PWM tail indices differ by 4.29x | 4.289 | holds |
| F3-076 | At n=3952, Hill and PWM tail indices differ by 4.27x | 4.271 | holds |
| F3-077 | At n=4190, Hill and PWM tail indices differ by 4.59x | 4.592 | holds |
| F3-078 | At n=4441, Hill and PWM tail indices differ by 4.59x | 4.594 | holds |
| F3-079 | At n=4707, Hill and PWM tail indices differ by 4.39x | 4.394 | holds |
| F3-080 | At n=4990, Hill and PWM tail indices differ by 4.41x | 4.408 | holds |
| F3-081 | At n=5289, Hill and PWM tail indices differ by 4.37x | 4.366 | holds |
| F3-082 | At n=5607, Hill and PWM tail indices differ by 4.39x | 4.393 | holds |
| F3-083 | At n=5943, Hill and PWM tail indices differ by 4.46x | 4.462 | holds |
| F3-084 | At n=6300, Hill and PWM tail indices differ by 4.39x | 4.391 | holds |
| F3-085 | At n=6678, Hill and PWM tail indices differ by 4.25x | 4.253 | holds |
| F3-086 | At n=7078, Hill and PWM tail indices differ by 4.37x | 4.371 | holds |
| F3-087 | At n=7503, Hill and PWM tail indices differ by 4.36x | 4.357 | holds |
| F3-088 | At n=7953, Hill and PWM tail indices differ by 4.41x | 4.407 | holds |
| F3-089 | At n=8431, Hill and PWM tail indices differ by 4.38x | 4.376 | holds |
| F3-090 | At n=8937, Hill and PWM tail indices differ by 4.44x | 4.441 | holds |
| F3-091 | At n=9473, Hill and PWM tail indices differ by 4.39x | 4.385 | holds |
| F3-092 | At n=10041, Hill and PWM tail indices differ by 4.25x | 4.252 | holds |
| F3-093 | At n=10644, Hill and PWM tail indices differ by 4.33x | 4.332 | holds |
| F3-094 | At n=11282, Hill and PWM tail indices differ by 4.51x | 4.505 | holds |
| F3-095 | At n=11959, Hill and PWM tail indices differ by 4.34x | 4.34 | holds |
| F3-096 | At n=12677, Hill and PWM tail indices differ by 4.48x | 4.478 | holds |
| F3-097 | At n=13437, Hill and PWM tail indices differ by 4.39x | 4.387 | holds |
| F3-098 | At n=14244, Hill and PWM tail indices differ by 4.47x | 4.466 | holds |
| F3-099 | At n=15098, Hill and PWM tail indices differ by 4.37x | 4.369 | holds |
| F3-100 | At n=16004, Hill and PWM tail indices differ by 4.44x | 4.437 | holds |
A failing entry is not a defect in the code — it is a case where the stated inequality does not hold over the full range, which bounds the claim's domain of validity. Those cases are kept.
Incoprea Research · study 10, 1,000 verified claims · 3 November 2026. Computation only.