| ID | Claim | Value | Verified |
|---|---|---|---|
| F5-001 | Cutting the bottom 5% at sigma=0.30 biases the mean +2.5% | 2.52 | holds |
| F5-002 | Cutting the bottom 6% at sigma=0.32 biases the mean +3.1% | 3.14 | holds |
| F5-003 | Cutting the bottom 7% at sigma=0.34 biases the mean +3.8% | 3.78 | holds |
| F5-004 | Cutting the bottom 8% at sigma=0.36 biases the mean +4.5% | 4.48 | holds |
| F5-005 | Cutting the bottom 9% at sigma=0.38 biases the mean +5.2% | 5.21 | holds |
| F5-006 | Cutting the bottom 10% at sigma=0.40 biases the mean +6.0% | 6.0 | holds |
| F5-007 | Cutting the bottom 11% at sigma=0.42 biases the mean +6.8% | 6.76 | holds |
| F5-008 | Cutting the bottom 12% at sigma=0.44 biases the mean +7.6% | 7.6 | holds |
| F5-009 | Cutting the bottom 13% at sigma=0.46 biases the mean +8.5% | 8.48 | holds |
| F5-010 | Cutting the bottom 14% at sigma=0.48 biases the mean +9.4% | 9.43 | holds |
| F5-011 | Cutting the bottom 15% at sigma=0.50 biases the mean +10.3% | 10.26 | holds |
| F5-012 | Cutting the bottom 16% at sigma=0.52 biases the mean +11.3% | 11.28 | holds |
| F5-013 | Cutting the bottom 17% at sigma=0.54 biases the mean +12.4% | 12.39 | holds |
| F5-014 | Cutting the bottom 18% at sigma=0.56 biases the mean +13.4% | 13.36 | holds |
| F5-015 | Cutting the bottom 19% at sigma=0.58 biases the mean +14.6% | 14.58 | holds |
| F5-016 | Cutting the bottom 20% at sigma=0.60 biases the mean +15.7% | 15.68 | holds |
| F5-017 | Cutting the bottom 21% at sigma=0.62 biases the mean +16.8% | 16.82 | holds |
| F5-018 | Cutting the bottom 22% at sigma=0.64 biases the mean +18.1% | 18.08 | holds |
| F5-019 | Cutting the bottom 23% at sigma=0.66 biases the mean +19.3% | 19.3 | holds |
| F5-020 | Cutting the bottom 24% at sigma=0.68 biases the mean +20.8% | 20.8 | holds |
| F5-021 | Cutting the bottom 5% at sigma=0.70 biases the mean +4.3% | 4.27 | holds |
| F5-022 | Cutting the bottom 6% at sigma=0.72 biases the mean +5.2% | 5.18 | holds |
| F5-023 | Cutting the bottom 7% at sigma=0.74 biases the mean +6.1% | 6.1 | holds |
| F5-024 | Cutting the bottom 8% at sigma=0.76 biases the mean +7.0% | 7.03 | holds |
| F5-025 | Cutting the bottom 9% at sigma=0.78 biases the mean +8.0% | 8.03 | holds |
| F5-026 | Cutting the bottom 10% at sigma=0.80 biases the mean +9.1% | 9.05 | holds |
| F5-027 | Cutting the bottom 11% at sigma=0.82 biases the mean +10.1% | 10.08 | holds |
| F5-028 | Cutting the bottom 12% at sigma=0.84 biases the mean +11.1% | 11.15 | holds |
| F5-029 | Cutting the bottom 13% at sigma=0.86 biases the mean +12.2% | 12.19 | holds |
| F5-030 | Cutting the bottom 14% at sigma=0.88 biases the mean +13.4% | 13.39 | holds |
| F5-031 | Cutting the bottom 15% at sigma=0.90 biases the mean +14.5% | 14.53 | holds |
| F5-032 | Cutting the bottom 16% at sigma=0.92 biases the mean +15.8% | 15.78 | holds |
| F5-033 | Cutting the bottom 17% at sigma=0.94 biases the mean +17.0% | 17.02 | holds |
| F5-034 | Cutting the bottom 18% at sigma=0.96 biases the mean +18.3% | 18.25 | holds |
| F5-035 | Cutting the bottom 19% at sigma=0.98 biases the mean +19.6% | 19.58 | holds |
| F5-036 | Cutting the bottom 20% at sigma=1.00 biases the mean +20.9% | 20.9 | holds |
| F5-037 | Cutting the bottom 21% at sigma=1.02 biases the mean +22.3% | 22.34 | holds |
| F5-038 | Cutting the bottom 22% at sigma=1.04 biases the mean +23.7% | 23.71 | holds |
| F5-039 | Cutting the bottom 23% at sigma=1.06 biases the mean +25.3% | 25.26 | holds |
| F5-040 | Cutting the bottom 24% at sigma=1.08 biases the mean +26.7% | 26.73 | holds |
| F5-041 | Cutting the bottom 5% at sigma=1.10 biases the mean +4.9% | 4.94 | holds |
| F5-042 | Cutting the bottom 6% at sigma=1.12 biases the mean +6.0% | 5.98 | holds |
| F5-043 | Cutting the bottom 7% at sigma=1.14 biases the mean +7.1% | 7.06 | holds |
| F5-044 | Cutting the bottom 8% at sigma=1.16 biases the mean +8.1% | 8.14 | holds |
| F5-045 | Cutting the bottom 9% at sigma=1.18 biases the mean +9.2% | 9.24 | holds |
| F5-046 | Cutting the bottom 10% at sigma=1.20 biases the mean +10.4% | 10.4 | holds |
| F5-047 | Cutting the bottom 11% at sigma=1.22 biases the mean +11.5% | 11.55 | holds |
| F5-048 | Cutting the bottom 12% at sigma=1.24 biases the mean +12.7% | 12.74 | holds |
| F5-049 | Cutting the bottom 13% at sigma=1.26 biases the mean +14.0% | 13.96 | holds |
| F5-050 | Cutting the bottom 14% at sigma=1.28 biases the mean +15.2% | 15.22 | holds |
| F5-051 | Cutting the bottom 15% at sigma=1.30 biases the mean +16.5% | 16.47 | holds |
| F5-052 | Cutting the bottom 16% at sigma=1.32 biases the mean +17.8% | 17.84 | holds |
| F5-053 | Cutting the bottom 17% at sigma=1.34 biases the mean +19.1% | 19.12 | holds |
| F5-054 | Cutting the bottom 18% at sigma=1.36 biases the mean +20.5% | 20.51 | holds |
| F5-055 | Cutting the bottom 19% at sigma=1.38 biases the mean +22.0% | 21.97 | holds |
| F5-056 | Cutting the bottom 20% at sigma=1.40 biases the mean +23.4% | 23.37 | holds |
| F5-057 | Cutting the bottom 21% at sigma=1.42 biases the mean +24.9% | 24.93 | holds |
| F5-058 | Cutting the bottom 22% at sigma=1.44 biases the mean +26.5% | 26.51 | holds |
| F5-059 | Cutting the bottom 23% at sigma=1.46 biases the mean +28.0% | 28.01 | holds |
| F5-060 | Cutting the bottom 24% at sigma=1.48 biases the mean +29.6% | 29.6 | holds |
| F5-061 | Cutting the bottom 5% at sigma=1.50 biases the mean +5.2% | 5.18 | holds |
| F5-062 | Cutting the bottom 6% at sigma=1.52 biases the mean +6.3% | 6.27 | holds |
| F5-063 | Cutting the bottom 7% at sigma=1.54 biases the mean +7.4% | 7.39 | holds |
| F5-064 | Cutting the bottom 8% at sigma=1.56 biases the mean +8.5% | 8.53 | holds |
| F5-065 | Cutting the bottom 9% at sigma=1.58 biases the mean +9.7% | 9.69 | holds |
| F5-066 | Cutting the bottom 10% at sigma=1.60 biases the mean +10.9% | 10.88 | holds |
| F5-067 | Cutting the bottom 11% at sigma=1.62 biases the mean +12.1% | 12.12 | holds |
| F5-068 | Cutting the bottom 12% at sigma=1.64 biases the mean +13.4% | 13.37 | holds |
| F5-069 | Cutting the bottom 13% at sigma=1.66 biases the mean +14.6% | 14.63 | holds |
| F5-070 | Cutting the bottom 14% at sigma=1.68 biases the mean +15.9% | 15.94 | holds |
| F5-071 | Cutting the bottom 15% at sigma=1.70 biases the mean +17.3% | 17.27 | holds |
| F5-072 | Cutting the bottom 16% at sigma=1.72 biases the mean +18.6% | 18.65 | holds |
| F5-073 | Cutting the bottom 17% at sigma=1.74 biases the mean +20.0% | 20.03 | holds |
| F5-074 | Cutting the bottom 18% at sigma=1.76 biases the mean +21.5% | 21.51 | holds |
| F5-075 | Cutting the bottom 19% at sigma=1.78 biases the mean +23.0% | 22.96 | holds |
| F5-076 | Cutting the bottom 20% at sigma=1.80 biases the mean +24.5% | 24.47 | holds |
| F5-077 | Cutting the bottom 21% at sigma=1.82 biases the mean +26.0% | 26.02 | holds |
| F5-078 | Cutting the bottom 22% at sigma=1.84 biases the mean +27.6% | 27.64 | holds |
| F5-079 | Cutting the bottom 23% at sigma=1.86 biases the mean +29.2% | 29.25 | holds |
| F5-080 | Cutting the bottom 24% at sigma=1.88 biases the mean +31.0% | 30.99 | holds |
| F5-081 | Cutting the bottom 5% at sigma=1.90 biases the mean +5.2% | 5.24 | holds |
| F5-082 | Cutting the bottom 6% at sigma=1.92 biases the mean +6.4% | 6.36 | holds |
| F5-083 | Cutting the bottom 7% at sigma=1.94 biases the mean +7.5% | 7.5 | holds |
| F5-084 | Cutting the bottom 8% at sigma=1.96 biases the mean +8.7% | 8.65 | holds |
| F5-085 | Cutting the bottom 9% at sigma=1.98 biases the mean +9.8% | 9.85 | holds |
| F5-086 | Cutting the bottom 10% at sigma=2.00 biases the mean +11.1% | 11.05 | holds |
| F5-087 | Cutting the bottom 11% at sigma=2.02 biases the mean +12.3% | 12.29 | holds |
| F5-088 | Cutting the bottom 12% at sigma=2.04 biases the mean +13.6% | 13.56 | holds |
| F5-089 | Cutting the bottom 13% at sigma=2.06 biases the mean +14.9% | 14.85 | holds |
| F5-090 | Cutting the bottom 14% at sigma=2.08 biases the mean +16.2% | 16.19 | holds |
| F5-091 | Cutting the bottom 15% at sigma=2.10 biases the mean +17.5% | 17.54 | holds |
| F5-092 | Cutting the bottom 16% at sigma=2.12 biases the mean +18.9% | 18.94 | holds |
| F5-093 | Cutting the bottom 17% at sigma=2.14 biases the mean +20.4% | 20.37 | holds |
| F5-094 | Cutting the bottom 18% at sigma=2.16 biases the mean +21.8% | 21.83 | holds |
| F5-095 | Cutting the bottom 19% at sigma=2.18 biases the mean +23.3% | 23.33 | holds |
| F5-096 | Cutting the bottom 20% at sigma=2.20 biases the mean +24.9% | 24.85 | holds |
| F5-097 | Cutting the bottom 21% at sigma=2.22 biases the mean +26.4% | 26.43 | holds |
| F5-098 | Cutting the bottom 22% at sigma=2.24 biases the mean +28.1% | 28.05 | holds |
| F5-099 | Cutting the bottom 23% at sigma=2.26 biases the mean +29.7% | 29.68 | holds |
| F5-100 | Cutting the bottom 24% at sigma=2.28 biases the mean +31.4% | 31.4 | 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.