◄ Index															◄ Main essay
	View pages by selecting the Tabs below: Prime|Trim|Compact|1964|JCPM|Comments
	II A: k-TRIM NUMBERS
	For any given natural number k>2, we define k-Trim numbers recursively by
	t_k(1) = 2, and t_k(n+1) = t_k(n) + d(n), where p(i) is the i'th prime and:
		(1) d(1) = 1, and a(2, 1) = 1 is the only element in the 2nd array;
		(2) d(n) is the smallest even integer that does not occur in the
			n'th array {a(n, 1), …, a(n, k-1)};
		(3)  j is selected so that 0 ≤ a(n+1, i) = (a(n, i) - d(n) + j*p(i) < p(i)
			for all 0 < i ≤ (k-1);
	It follows that the k-Trim number t_k(n+1) is, thus, not divisible by any prime
	≤ p(k) unless the prime is smaller than d(n).
	THE k-TRIM NUMBER ALGORITHM FOR k=45, p(k)=197
	The following illustrates how Trim numbers are generated sequentially.
	n	t_45(n)
	1	2	2	3	5	7	11	13	17	19	23		29	31	37	41	43	47	53	59	61	67	71	73	79	83	89	97	101	103	107	109	113		127	131	137	139		149	151	157	163	167	173	179	181		191	193	197	199	211
	2	3	1	2	5
	3	5	1	2	2	7
	4	7	1	2	3	4	11
	5	11	1	1	4	3	2	13
	6	13	1	2	2	1	9	4	17
	7	17	1	1	3	4	5	9	2	19
	8	19	1	2	1	2	3	7	15	4	23
	9	23	1	1	2	5	10	3	11	15	4	27
	10	27	1	0	3	1	6	12	7	11	19	2	29	<== (1)
	11	29	1	1	1	6	4	10	5	9	17		2	31
	12	31	1	2	4	4	2	8	3	7	15		27	6	37
	13	37	1	2	3	5	7	2	14	1	9		21	25	4	41
	14	41	1	1	4	1	3	11	10	16	5		17	21	33	2	43
	15	43	1	2	2	6	1	9	8	14	3		15	19	31	39	4	47
	16	47	1	1	3	2	8	5	4	10	22		11	15	27	35	39	6	53
	17	53	1	1	2	3	2	12	15	4	16		5	9	21	29	33	41	6	59
	18	59	1	1	1	4	7	6	9	17	10		28	3	15	23	27	35	47	2	61
	19	61	1	2	4	2	5	4	7	15	8		26	1	13	21	25	33	45	57	6	67
	20	67	1	2	3	3	10	11	1	9	2		20	26	7	15	19	27	39	51	55	4	71
	21	71	1	1	4	6	6	7	14	5	21		16	22	3	11	15	23	35	47	51	63	2	73
	22	73	1	2	2	4	4	5	12	3	19		14	20	1	9	13	21	33	45	49	61	69	6	79
	23	79	1	2	1	5	9	12	6	16	13		8	14	32	3	7	15	27	39	43	55	63	67	4	83
	24	83	1	1	2	1	5	8	2	12	9		4	10	28	40	3	11	23	35	39	51	59	63	73	6	89
	25	89	1	1	1	2	10	2	13	6	3		27	4	22	34	40	5	17	29	33	45	53	57	67	77	8	97
	26	97	1	2	3	1	2	7	5	17	18		19	27	14	26	32	44	9	21	25	37	45	49	59	69	81	4	101
	27	101	1	1	4	4	9	3	1	13	14		15	23	10	22	28	40	5	17	21	33	41	45	55	65	77	93	2	103
	28	103	1	2	2	2	7	1	16	11	12		13	21	8	20	26	38	3	15	19	31	39	43	53	63	75	91	99	4	107
	29	107	1	1	3	5	3	10	12	7	8		9	17	4	16	22	34	52	11	15	27	35	39	49	59	71	87	95	99	2	109
	30	109	1	2	1	3	1	8	10	5	6		7	15	2	14	20	32	50	9	13	25	33	37	47	57	69	85	93	97	105	4	113
	31	113	1	1	2	6	8	4	6	1	2		3	11	35	10	16	28	46	5	9	21	29	33	43	53	65	81	89	93	101	105	12	125
	32	125	1	1	0	1	7	5	11	8	13		20	30	23	39	4	16	34	52	58	9	17	21	31	41	53	69	77	81	89	93	101	2	127	<== (2)
	33	127	1	2	3	6	5	3	9	6	11		18	28	21	37	2	14	32	50	56	7	15	19	29	39	51	67	75	79	87	91	99		4	131
	34	131	1	1	4	2	1	12	5	2	7		14	24	17	33	41	10	28	46	52	3	11	15	25	35	47	63	71	75	83	87	95		123	6	137
	35	137	1	1	3	3	6	6	16	15	1		8	18	11	27	35	4	22	40	46	64	5	9	19	29	41	57	65	69	77	81	89		117	125	2	139
	36	139	1	2	1	1	4	4	14	13	22		6	16	9	25	33	2	20	38	44	62	3	7	17	27	39	55	63	67	75	79	87		115	123	135	8	147
	37	147	1	0	3	0	7	9	6	5	14		27	8	1	17	25	41	12	30	36	54	66	72	9	19	31	47	55	59	67	71	79		107	115	127	131	2	149	<== (3)
	38	149	1	1	1	5	5	7	4	3	12		25	6	36	15	23	39	10	28	34	52	64	70	7	17	29	45	53	57	65	69	77		105	113	125	129		2	151
	39	151	1	2	4	3	3	5	2	1	10		23	4	34	13	21	37	8	26	32	50	62	68	5	15	27	43	51	55	63	67	75		103	111	123	127		147	6	157
	40	157	1	2	3	4	8	12	13	14	4		17	29	28	7	15	31	2	20	26	44	56	62	78	9	21	37	45	49	57	61	69		97	105	117	121		141	145	6	163
	41	163	1	2	2	5	2	6	7	8	21		11	23	22	1	9	25	49	14	20	38	50	56	72	3	15	31	39	43	51	55	63		91	99	111	115		135	139	151	4	167
	42	167	1	1	3	1	9	2	3	4	17		7	19	18	38	5	21	45	10	16	34	46	52	68	82	11	27	35	39	47	51	59		87	95	107	111		131	135	147	159	6	173
	43	173	1	1	2	2	3	9	14	17	11		1	13	12	32	42	15	39	4	10	28	40	46	62	76	5	21	29	33	41	45	53		81	89	101	105		125	129	141	153	161	6	179
	44	179	1	1	1	3	8	3	8	11	5		24	7	6	26	36	9	33	57	4	22	34	40	56	70	88	15	23	27	35	39	47		75	83	95	99		119	123	135	147	155	167	2	181
	45	181	1	2	4	1	6	1	6	9	3		22	5	4	24	34	7	31	55	2	20	32	38	54	68	86	13	21	25	33	37	45		73	81	93	97		117	121	133	145	153	165	177	8	189
	46	189	1	0	1	0	9	6	15	1	18		14	28	33	16	26	46	23	47	55	12	24	30	46	60	78	5	13	17	25	29	37		65	73	85	89		109	113	125	137	145	157	169	173	2	191	<== (4)
	47	191	1	1	4	5	7	4	13	18	16		12	26	31	14	24	44	21	45	53	10	22	28	44	58	76	3	11	15	23	27	35		63	71	83	87		107	111	123	135	143	155	167	171		2	193
	48	193	1	2	2	3	5	2	11	16	14		10	24	29	12	22	42	19	43	51	8	20	26	42	56	74	1	9	13	21	25	33		61	69	81	85		105	109	121	133	141	153	165	169		189	4	197
	49	197	1	1	3	6	1	11	7	12	10		6	20	25	8	18	38	15	39	47	4	16	22	38	52	70	94	5	9	17	21	29		57	65	77	81		101	105	117	129	137	149	161	165		185	189	2	199
	50	199	1	2	1	4	10	9	5	10	8		4	18	23	6	16	36	13	37	45	2	14	20	36	50	68	92	3	7	15	19	27		55	63	75	79		99	103	115	127	135	147	159	163		183	187	195	12	211
	51	211	1	2	4	6	9	10	10	17	19		21	6	11	35	4	24	1	25	33	57	2	8	24	38	56	80	92	98	3	7	15		43	51	63	67		87	91	103	115	123	135	147	151		171	175	183	12	223
	52	223	1	2	2	1	8	11	15	5	7		9	25	36	23	35	12	42	13	21	45	61	69	12	26	44	68	80	86	98	104	3		31	39	51	55		75	79	91	103	111	123	135	139		159	163	171	4	227
	53	227	1	1	3	4	4	7	11	1	3		5	21	32	19	31	8	38	9	17	41	57	65	8	22	40	64	76	82	94	100	112		27	35	47	51		71	75	87	99	107	119	131	135		155	159	166	2	229
	54	229	1	2	1	2	2	5	9	18	1		3	19	30	17	29	6	36	7	15	39	55	63	6	20	38	62	74	80	92	98	110		25	33	45	49		69	73	85	97	105	117	129	133		153	157	164	4	233
	55	233	1	1	2	5	9	1	5	14	20		28	15	26	13	25	2	32	3	11	35	51	59	2	16	34	58	70	76	88	94	106		21	29	41	45		65	69	81	93	101	113	125	129		149	153	160	4	237
	56	237	1	0	3	1	5	10	1	10	16		24	11	22	9	21	45	28	58	7	31	47	55	77	12	30	54	66	72	84	90	102		17	25	37	41		61	65	77	89	97	109	121	125		145	149	156	2	239
	57	239	1	1	1	6	3	8	16	8	14		22	9	20	7	19	43	26	56	5	29	45	53	75	10	28	52	64	70	82	88	100		15	23	35	39		59	63	75	87	95	107	119	123		143	147	154	2	241
	58	241	1	2	4	4	1	6	14	6	12		20	7	18	5	17	41	24	54	3	27	43	51	73	8	26	50	62	68	80	86	98		13	21	33	37		57	61	73	85	93	105	117	121		141	145	152	10	251
	59	251	1	1	4	1	2	9	4	15	2		10	28	8	37	7	31	14	44	54	17	33	41	63	81	16	40	52	58	70	76	88		3	11	23	27		47	51	63	75	83	95	107	111		131	135	142	6	257
	60	257	1	1	3	2	7	3	15	9	19		4	22	2	31	1	25	8	38	48	11	27	35	57	75	10	34	46	52	64	70	82		124	5	17	21		41	45	57	69	77	89	101	105		125	129	136	6	263
	61	263	1	1	2	3	1	10	9	3	13		27	16	33	25	38	19	2	32	42	5	21	29	51	69	4	28	40	46	58	64	76		118	130	11	15		35	39	51	63	71	83	95	99		119	123	130	6	269
	62	269	1	1	1	4	6	4	3	16	7		21	10	27	19	32	13	49	26	36	66	15	23	45	63	87	22	34	40	52	58	70		112	124	5	9		29	33	45	57	65	77	89	93		113	117	124	2	271
	63	271	1	2	4	2	4	2	1	14	5		19	8	25	17	30	11	47	24	34	64	13	21	43	61	85	20	32	38	50	56	68		110	122	3	7		27	31	43	55	63	75	87	91		111	115	122	6	277
	64	277	1	2	3	3	9	9	12	8	22		13	2	19	11	24	5	41	18	28	58	7	15	37	55	79	14	26	32	44	50	62		104	116	134	1		21	25	37	49	57	69	81	85		105	109	116	4	281
	65	281	1	1	4	6	5	5	8	4	18		9	29	15	7	20	1	37	14	24	54	3	11	33	51	75	10	22	28	40	46	58		100	112	130	136		17	21	33	45	53	65	77	81		101	105	112	2	283
	66	283	1	2	2	4	3	3	6	2	16		7	27	13	5	18	48	35	12	22	52	1	9	31	49	73	8	20	26	38	44	56		98	110	128	134		15	19	31	43	51	63	75	79		99	103	110	10	293
	67	293	1	1	2	1	4	6	13	11	6		26	17	3	36	8	38	25	2	12	42	62	72	21	39	63	95	10	16	28	34	46		88	100	118	124		5	9	21	33	41	53	65	69		89	93	100	14	307
	68	307	1	2	3	1	1	5	16	16	15		12	3	26	22	37	24	11	47	59	28	48	58	7	25	49	81	97	2	14	20	32		74	86	104	110		140	146	7	19	27	39	51	55		75	79	86	4	311
	69	311	1	1	4	4	8	1	12	12	11		8	30	22	18	33	20	7	43	55	24	44	54	3	21	45	77	93	101	10	16	28		70	82	100	106		136	142	3	15	23	35	47	51		71	75	82	2	313
	70	313	1	2	2	2	6	12	10	10	9		6	28	20	16	31	18	5	41	53	22	42	52	1	19	43	75	91	99	8	14	26		68	80	98	104		134	140	1	13	21	33	45	49		69	73	80	4	317
	71	317	1	1	3	4	2	8	6	6	5		2	24	16	12	27	14	1	37	49	18	38	48	76	15	39	71	87	95	4	10	22		64	76	94	100		130	136	154	9	17	29	41	45		65	69	76	20	337
	72	337	1	2	3	5	4	1	3	5	8		11	4	33	33	7	41	34	17	29	65	18	28	56	78	19	51	67	75	91	99	2		44	56	74	80		110	116	134	152	164	9	21	25		45	49	56	6	343
	73	343	1	2	2	6	9	8	14	18	2		5	29	27	27	1	35	28	11	23	59	12	22	50	72	13	45	61	69	85	93	109		38	50	68	74		104	110	128	146	158	3	15	19		39	43	50	4	347
	74	347	1	1	3	2	5	4	10	14	21		1	25	23	23	40	31	24	7	19	55	8	18	46	68	9	41	57	65	81	89	105		34	46	64	70		100	106	124	142	154	172	11	15		35	39	46	6	353
	75	353	1	1	2	3	10	11	4	8	15		24	19	17	17	34	25	18	1	13	49	2	12	40	62	3	35	51	59	75	83	99		28	40	58	64		94	100	118	136	148	166	5	9		29	33	40	6	359
	76	359	1	1	1	4	4	5	15	2	9		18	13	11	11	28	19	12	54	7	43	67	6	34	56	86	29	45	53	69	77	93		22	34	52	58		88	94	112	130	142	160	178	3		23	27	34	8	367
	A k-Trim Number theorem …
	Theorem:			For all n > 1, t_k(n) < 2n*k
	Proof:			t_k(n) = {t_k(n-1) + d(n-1)}
				d(n-1) < 2k
				t_k(n) < {t_k(n-1) + 2k}
				t_k(n) < [{t_k(n-2) + 4k]
				t_k(n) < 2n*k