| ID | Claim | Value | Verified |
|---|---|---|---|
| F9-001 | For d=0.10 mm, 1% mass balance needs 0.001 g | 1e-06 | holds |
| F9-002 | For d=0.11 mm, 1% mass balance needs 0.001 g | 1e-06 | holds |
| F9-003 | For d=0.11 mm, 1% mass balance needs 0.001 g | 1e-06 | holds |
| F9-004 | For d=0.12 mm, 1% mass balance needs 0.002 g | 2e-06 | holds |
| F9-005 | For d=0.12 mm, 1% mass balance needs 0.002 g | 2e-06 | holds |
| F9-006 | For d=0.13 mm, 1% mass balance needs 0.002 g | 2e-06 | holds |
| F9-007 | For d=0.13 mm, 1% mass balance needs 0.002 g | 2e-06 | holds |
| F9-008 | For d=0.14 mm, 1% mass balance needs 0.003 g | 3e-06 | holds |
| F9-009 | For d=0.15 mm, 1% mass balance needs 0.003 g | 3e-06 | holds |
| F9-010 | For d=0.16 mm, 1% mass balance needs 0.004 g | 4e-06 | holds |
| F9-011 | For d=0.16 mm, 1% mass balance needs 0.004 g | 4e-06 | holds |
| F9-012 | For d=0.17 mm, 1% mass balance needs 0.005 g | 5e-06 | holds |
| F9-013 | For d=0.18 mm, 1% mass balance needs 0.006 g | 6e-06 | holds |
| F9-014 | For d=0.19 mm, 1% mass balance needs 0.007 g | 7e-06 | holds |
| F9-015 | For d=0.20 mm, 1% mass balance needs 0.008 g | 8e-06 | holds |
| F9-016 | For d=0.21 mm, 1% mass balance needs 0.009 g | 9e-06 | holds |
| F9-017 | For d=0.22 mm, 1% mass balance needs 0.010 g | 1e-05 | holds |
| F9-018 | For d=0.23 mm, 1% mass balance needs 0.012 g | 1.2e-05 | holds |
| F9-019 | For d=0.24 mm, 1% mass balance needs 0.014 g | 1.4e-05 | holds |
| F9-020 | For d=0.25 mm, 1% mass balance needs 0.016 g | 1.6e-05 | holds |
| F9-021 | For d=0.27 mm, 1% mass balance needs 0.019 g | 1.9e-05 | holds |
| F9-022 | For d=0.28 mm, 1% mass balance needs 0.022 g | 2.2e-05 | holds |
| F9-023 | For d=0.29 mm, 1% mass balance needs 0.025 g | 2.5e-05 | holds |
| F9-024 | For d=0.31 mm, 1% mass balance needs 0.029 g | 2.9e-05 | holds |
| F9-025 | For d=0.32 mm, 1% mass balance needs 0.034 g | 3.4e-05 | holds |
| F9-026 | For d=0.34 mm, 1% mass balance needs 0.039 g | 3.9e-05 | holds |
| F9-027 | For d=0.36 mm, 1% mass balance needs 0.045 g | 4.5e-05 | holds |
| F9-028 | For d=0.37 mm, 1% mass balance needs 0.052 g | 5.2e-05 | holds |
| F9-029 | For d=0.39 mm, 1% mass balance needs 0.060 g | 6e-05 | holds |
| F9-030 | For d=0.41 mm, 1% mass balance needs 0.070 g | 7e-05 | holds |
| F9-031 | For d=0.43 mm, 1% mass balance needs 0.081 g | 8.1e-05 | holds |
| F9-032 | For d=0.45 mm, 1% mass balance needs 0.093 g | 9.3e-05 | holds |
| F9-033 | For d=0.48 mm, 1% mass balance needs 0.108 g | 0.000108 | holds |
| F9-034 | For d=0.50 mm, 1% mass balance needs 0.125 g | 0.000125 | holds |
| F9-035 | For d=0.53 mm, 1% mass balance needs 0.145 g | 0.000145 | holds |
| F9-036 | For d=0.55 mm, 1% mass balance needs 0.168 g | 0.000168 | holds |
| F9-037 | For d=0.58 mm, 1% mass balance needs 0.194 g | 0.000194 | holds |
| F9-038 | For d=0.61 mm, 1% mass balance needs 0.225 g | 0.000225 | holds |
| F9-039 | For d=0.64 mm, 1% mass balance needs 0.260 g | 0.00026 | holds |
| F9-040 | For d=0.67 mm, 1% mass balance needs 0.301 g | 0.000301 | holds |
| F9-041 | For d=0.70 mm, 1% mass balance needs 0.349 g | 0.000349 | holds |
| F9-042 | For d=0.74 mm, 1% mass balance needs 0.404 g | 0.000404 | holds |
| F9-043 | For d=0.78 mm, 1% mass balance needs 0.468 g | 0.000468 | holds |
| F9-044 | For d=0.81 mm, 1% mass balance needs 0.541 g | 0.000541 | holds |
| F9-045 | For d=0.86 mm, 1% mass balance needs 0.627 g | 0.000627 | holds |
| F9-046 | For d=0.90 mm, 1% mass balance needs 0.725 g | 0.000725 | holds |
| F9-047 | For d=0.94 mm, 1% mass balance needs 0.840 g | 0.00084 | holds |
| F9-048 | For d=0.99 mm, 1% mass balance needs 0.972 g | 0.000972 | holds |
| F9-049 | For d=1.04 mm, 1% mass balance needs 1.125 g | 0.001125 | holds |
| F9-050 | For d=1.09 mm, 1% mass balance needs 1.303 g | 0.001303 | holds |
| F9-051 | For d=1.15 mm, 1% mass balance needs 1.508 g | 0.001508 | holds |
| F9-052 | For d=1.20 mm, 1% mass balance needs 1.746 g | 0.001746 | holds |
| F9-053 | For d=1.26 mm, 1% mass balance needs 2.021 g | 0.002021 | holds |
| F9-054 | For d=1.33 mm, 1% mass balance needs 2.339 g | 0.002339 | holds |
| F9-055 | For d=1.39 mm, 1% mass balance needs 2.708 g | 0.002708 | holds |
| F9-056 | For d=1.46 mm, 1% mass balance needs 3.135 g | 0.003135 | holds |
| F9-057 | For d=1.54 mm, 1% mass balance needs 3.629 g | 0.003629 | holds |
| F9-058 | For d=1.61 mm, 1% mass balance needs 4.201 g | 0.004201 | holds |
| F9-059 | For d=1.69 mm, 1% mass balance needs 4.863 g | 0.004863 | holds |
| F9-060 | For d=1.78 mm, 1% mass balance needs 5.630 g | 0.00563 | holds |
| F9-061 | For d=1.87 mm, 1% mass balance needs 6.517 g | 0.006517 | holds |
| F9-062 | For d=1.96 mm, 1% mass balance needs 7.545 g | 0.007545 | holds |
| F9-063 | For d=2.06 mm, 1% mass balance needs 8.734 g | 0.008734 | holds |
| F9-064 | For d=2.16 mm, 1% mass balance needs 10.111 g | 0.010111 | holds |
| F9-065 | For d=2.27 mm, 1% mass balance needs 11.704 g | 0.011704 | holds |
| F9-066 | For d=2.38 mm, 1% mass balance needs 13.549 g | 0.013549 | holds |
| F9-067 | For d=2.50 mm, 1% mass balance needs 15.685 g | 0.015685 | holds |
| F9-068 | For d=2.63 mm, 1% mass balance needs 18.157 g | 0.018157 | holds |
| F9-069 | For d=2.76 mm, 1% mass balance needs 21.019 g | 0.021019 | holds |
| F9-070 | For d=2.90 mm, 1% mass balance needs 24.332 g | 0.024332 | holds |
| F9-071 | For d=3.04 mm, 1% mass balance needs 28.168 g | 0.028168 | holds |
| F9-072 | For d=3.19 mm, 1% mass balance needs 32.608 g | 0.032608 | holds |
| F9-073 | For d=3.35 mm, 1% mass balance needs 37.748 g | 0.037748 | holds |
| F9-074 | For d=3.52 mm, 1% mass balance needs 43.697 g | 0.043697 | holds |
| F9-075 | For d=3.70 mm, 1% mass balance needs 50.585 g | 0.050585 | holds |
| F9-076 | For d=3.88 mm, 1% mass balance needs 58.559 g | 0.058559 | holds |
| F9-077 | For d=4.08 mm, 1% mass balance needs 67.789 g | 0.067789 | holds |
| F9-078 | For d=4.28 mm, 1% mass balance needs 78.474 g | 0.078474 | holds |
| F9-079 | For d=4.50 mm, 1% mass balance needs 90.844 g | 0.090844 | holds |
| F9-080 | For d=4.72 mm, 1% mass balance needs 105.163 g | 0.105163 | holds |
| F9-081 | For d=4.96 mm, 1% mass balance needs 121.740 g | 0.12174 | holds |
| F9-082 | For d=5.20 mm, 1% mass balance needs 140.929 g | 0.140929 | holds |
| F9-083 | For d=5.46 mm, 1% mass balance needs 163.143 g | 0.163143 | holds |
| F9-084 | For d=5.74 mm, 1% mass balance needs 188.858 g | 0.188858 | holds |
| F9-085 | For d=6.02 mm, 1% mass balance needs 218.627 g | 0.218627 | holds |
| F9-086 | For d=6.33 mm, 1% mass balance needs 253.088 g | 0.253088 | holds |
| F9-087 | For d=6.64 mm, 1% mass balance needs 292.981 g | 0.292981 | holds |
| F9-088 | For d=6.97 mm, 1% mass balance needs 339.162 g | 0.339162 | holds |
| F9-089 | For d=7.32 mm, 1% mass balance needs 392.622 g | 0.392622 | holds |
| F9-090 | For d=7.69 mm, 1% mass balance needs 454.509 g | 0.454509 | holds |
| F9-091 | For d=8.07 mm, 1% mass balance needs 526.151 g | 0.526151 | holds |
| F9-092 | For d=8.48 mm, 1% mass balance needs 609.086 g | 0.609086 | holds |
| F9-093 | For d=8.90 mm, 1% mass balance needs 705.093 g | 0.705093 | holds |
| F9-094 | For d=9.35 mm, 1% mass balance needs 816.234 g | 0.816234 | holds |
| F9-095 | For d=9.81 mm, 1% mass balance needs 944.892 g | 0.944892 | holds |
| F9-096 | For d=10.30 mm, 1% mass balance needs 1093.831 g | 1.093831 | holds |
| F9-097 | For d=10.82 mm, 1% mass balance needs 1266.246 g | 1.266246 | holds |
| F9-098 | For d=11.36 mm, 1% mass balance needs 1465.838 g | 1.465838 | holds |
| F9-099 | For d=11.93 mm, 1% mass balance needs 1696.891 g | 1.696891 | holds |
| F9-100 | For d=12.52 mm, 1% mass balance needs 1964.363 g | 1.964363 | 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.