id	sid	tid	token	lemma	pos
iajs-3023	1	1	ihjpas	ihjpas	PROPN
iajs-3023	1	2	.	.	PUNCT
iajs-3023	2	1	36(2)2023	36(2)2023	NUM
iajs-3023	2	2	367	367	NUM
iajs-3023	2	3	this	this	DET
iajs-3023	2	4	work	work	NOUN
iajs-3023	2	5	is	be	AUX
iajs-3023	2	6	licensed	license	VERB
iajs-3023	2	7	under	under	ADP
iajs-3023	2	8	a	a	DET
iajs-3023	2	9	creative	creative	ADJ
iajs-3023	2	10	commons	common	NOUN
iajs-3023	2	11	attribution	attribution	NOUN
iajs-3023	2	12	4.0	4.0	NUM
iajs-3023	2	13	international	international	ADJ
iajs-3023	2	14	license	license	NOUN
iajs-3023	2	15	.	.	PUNCT
iajs-3023	3	1	zena	zena	PROPN
iajs-3023	3	2	hussein	hussein	PROPN
iajs-3023	3	3	maibed	maibe	VERB
iajs-3023	3	4	mrs	mrs	PROPN
iajs-3023	3	5	_	_	PROPN
iajs-3023	3	6	zena.hussein@yahoo.com	zena.hussein@yahoo.com	PROPN
iajs-3023	3	7	department	department	PROPN
iajs-3023	3	8	of	of	ADP
iajs-3023	3	9	mathematics	mathematics	PROPN
iajs-3023	3	10	,	,	PUNCT
iajs-3023	3	11	college	college	NOUN
iajs-3023	3	12	of	of	ADP
iajs-3023	3	13	education	education	NOUN
iajs-3023	3	14	for	for	ADP
iajs-3023	3	15	pure	pure	ADJ
iajs-3023	3	16	science	science	NOUN
iajs-3023	3	17	ibn	ibn	PROPN
iajs-3023	3	18	al	al	PROPN
iajs-3023	3	19	-	-	PUNCT
iajs-3023	3	20	haitham	haitham	PROPN
iajs-3023	3	21	university	university	PROPN
iajs-3023	3	22	of	of	ADP
iajs-3023	3	23	baghdad	baghdad	PROPN
iajs-3023	3	24	,	,	PUNCT
iajs-3023	3	25	baghdad	baghdad	PROPN
iajs-3023	3	26	,	,	PUNCT
iajs-3023	3	27	iraq	iraq	PROPN
iajs-3023	3	28	.	.	PUNCT
iajs-3023	4	1	abstract	abstract	VERB
iajs-3023	4	2	the	the	DET
iajs-3023	4	3	goal	goal	NOUN
iajs-3023	4	4	of	of	ADP
iajs-3023	4	5	this	this	DET
iajs-3023	4	6	article	article	NOUN
iajs-3023	4	7	is	be	AUX
iajs-3023	4	8	to	to	PART
iajs-3023	4	9	study	study	VERB
iajs-3023	4	10	a	a	DET
iajs-3023	4	11	new	new	ADJ
iajs-3023	4	12	explicit	explicit	ADJ
iajs-3023	4	13	iterative	iterative	NOUN
iajs-3023	4	14	processes	process	NOUN
iajs-3023	4	15	method	method	NOUN
iajs-3023	4	16	approach	approach	NOUN
iajs-3023	4	17	to	to	ADP
iajs-3023	4	18	zeroes	zero	NOUN
iajs-3023	4	19	for	for	ADP
iajs-3023	4	20	solving	solve	VERB
iajs-3023	4	21	maximal	maximal	ADJ
iajs-3023	4	22	monotone(m.m	monotone(m.m	NOUN
iajs-3023	4	23	)	)	PUNCT
iajs-3023	4	24	multivalued	multivalued	ADJ
iajs-3023	4	25	operators	operator	NOUN
iajs-3023	4	26	in	in	ADP
iajs-3023	4	27	hilbert	hilbert	PROPN
iajs-3023	4	28	spaces	space	NOUN
iajs-3023	4	29	,	,	PUNCT
iajs-3023	4	30	utilizing	utilize	VERB
iajs-3023	4	31	a	a	DET
iajs-3023	4	32	finite	finite	ADJ
iajs-3023	4	33	family	family	NOUN
iajs-3023	4	34	of	of	ADP
iajs-3023	4	35	different	different	ADJ
iajs-3023	4	36	types	type	NOUN
iajs-3023	4	37	of	of	ADP
iajs-3023	4	38	mappings	mapping	NOUN
iajs-3023	4	39	as	as	ADP
iajs-3023	4	40	nonexpansive	nonexpansive	ADJ
iajs-3023	4	41	map	map	NOUN
iajs-3023	4	42	,	,	PUNCT
iajs-3023	4	43	contraction	contraction	NOUN
iajs-3023	4	44	map	map	NOUN
iajs-3023	4	45	,	,	PUNCT
iajs-3023	4	46	resolvent	resolvent	ADJ
iajs-3023	4	47	operator	operator	NOUN
iajs-3023	4	48	and	and	CCONJ
iajs-3023	4	49	nearest	near	ADJ
iajs-3023	4	50	point	point	NOUN
iajs-3023	4	51	metric	metric	ADJ
iajs-3023	4	52	projection	projection	NOUN
iajs-3023	4	53	map	map	NOUN
iajs-3023	4	54	.	.	PUNCT
iajs-3023	5	1	on	on	ADP
iajs-3023	5	2	the	the	DET
iajs-3023	5	3	other	other	ADJ
iajs-3023	5	4	hand	hand	NOUN
iajs-3023	5	5	,	,	PUNCT
iajs-3023	5	6	the	the	DET
iajs-3023	5	7	results	result	NOUN
iajs-3023	5	8	in	in	ADP
iajs-3023	5	9	this	this	DET
iajs-3023	5	10	paper	paper	NOUN
iajs-3023	5	11	are	be	AUX
iajs-3023	5	12	develop	develop	VERB
iajs-3023	5	13	and	and	CCONJ
iajs-3023	5	14	extend	extend	VERB
iajs-3023	5	15	the	the	DET
iajs-3023	5	16	main	main	ADJ
iajs-3023	5	17	and	and	CCONJ
iajs-3023	5	18	important	important	ADJ
iajs-3023	5	19	findings	finding	NOUN
iajs-3023	5	20	of	of	ADP
iajs-3023	5	21	previous	previous	ADJ
iajs-3023	5	22	studies	study	NOUN
iajs-3023	5	23	.	.	PUNCT
iajs-3023	6	1	then	then	ADV
iajs-3023	6	2	,	,	PUNCT
iajs-3023	6	3	utilizing	utilize	VERB
iajs-3023	6	4	various	various	ADJ
iajs-3023	6	5	structural	structural	ADJ
iajs-3023	6	6	conditions	condition	NOUN
iajs-3023	6	7	in	in	ADP
iajs-3023	6	8	hilbert	hilbert	NOUN
iajs-3023	6	9	space	space	NOUN
iajs-3023	6	10	and	and	CCONJ
iajs-3023	6	11	variational	variational	ADJ
iajs-3023	6	12	inequality	inequality	NOUN
iajs-3023	6	13	problems	problem	NOUN
iajs-3023	6	14	,	,	PUNCT
iajs-3023	6	15	also	also	ADV
iajs-3023	6	16	,	,	PUNCT
iajs-3023	6	17	we	we	PRON
iajs-3023	6	18	examine	examine	VERB
iajs-3023	6	19	the	the	DET
iajs-3023	6	20	strong	strong	ADJ
iajs-3023	6	21	convergence	convergence	NOUN
iajs-3023	6	22	to	to	ADP
iajs-3023	6	23	nearest	near	ADJ
iajs-3023	6	24	projection	projection	NOUN
iajs-3023	6	25	map	map	NOUN
iajs-3023	6	26	for	for	ADP
iajs-3023	6	27	these	these	DET
iajs-3023	6	28	explicit	explicit	ADJ
iajs-3023	6	29	iterative	iterative	NOUN
iajs-3023	6	30	processes	process	NOUN
iajs-3023	6	31	methods	method	NOUN
iajs-3023	6	32	under	under	ADP
iajs-3023	6	33	the	the	DET
iajs-3023	6	34	presence	presence	NOUN
iajs-3023	6	35	of	of	ADP
iajs-3023	6	36	two	two	NUM
iajs-3023	6	37	important	important	ADJ
iajs-3023	6	38	conditions	condition	NOUN
iajs-3023	6	39	for	for	ADP
iajs-3023	6	40	convergence	convergence	NOUN
iajs-3023	6	41	,	,	PUNCT
iajs-3023	6	42	namely	namely	ADV
iajs-3023	6	43	closure	closure	NOUN
iajs-3023	6	44	and	and	CCONJ
iajs-3023	6	45	convexity	convexity	NOUN
iajs-3023	6	46	.	.	PUNCT
iajs-3023	7	1	the	the	DET
iajs-3023	7	2	findings	finding	NOUN
iajs-3023	7	3	reported	report	VERB
iajs-3023	7	4	in	in	ADP
iajs-3023	7	5	this	this	DET
iajs-3023	7	6	research	research	NOUN
iajs-3023	7	7	strengthen	strengthen	NOUN
iajs-3023	7	8	,	,	PUNCT
iajs-3023	7	9	improve	improve	VERB
iajs-3023	7	10	and	and	CCONJ
iajs-3023	7	11	extend	extend	VERB
iajs-3023	7	12	key	key	ADJ
iajs-3023	7	13	previous	previous	ADJ
iajs-3023	7	14	findings	finding	NOUN
iajs-3023	7	15	from	from	ADP
iajs-3023	7	16	the	the	DET
iajs-3023	7	17	literature	literature	NOUN
iajs-3023	7	18	.	.	PUNCT
iajs-3023	8	1	keywords	keyword	NOUN
iajs-3023	8	2	:	:	PUNCT
iajs-3023	8	3	projection	projection	NOUN
iajs-3023	8	4	mapping	mapping	NOUN
iajs-3023	8	5	,	,	PUNCT
iajs-3023	8	6	iterative	iterative	NOUN
iajs-3023	8	7	method	method	NOUN
iajs-3023	8	8	,	,	PUNCT
iajs-3023	8	9	nonexpamsive	nonexpamsive	ADJ
iajs-3023	8	10	mapping	mapping	NOUN
iajs-3023	8	11	,	,	PUNCT
iajs-3023	8	12	monotone	monotone	ADJ
iajs-3023	8	13	operators	operator	NOUN
iajs-3023	8	14	,	,	PUNCT
iajs-3023	8	15	s	s	NOUN
iajs-3023	8	16	-	-	NOUN
iajs-3023	8	17	convergence	convergence	NOUN
iajs-3023	8	18	,	,	PUNCT
iajs-3023	8	19	fixed	fix	VERB
iajs-3023	8	20	point	point	NOUN
iajs-3023	8	21	.	.	PUNCT
iajs-3023	9	1	1.introduction	1.introduction	NUM
iajs-3023	9	2	assume𝛨	assume𝛨	PROPN
iajs-3023	9	3	is	be	AUX
iajs-3023	9	4	a	a	DET
iajs-3023	9	5	true	true	ADJ
iajs-3023	9	6	hilbert	hilbert	NOUN
iajs-3023	9	7	space	space	NOUN
iajs-3023	9	8	and	and	CCONJ
iajs-3023	9	9	m	m	PROPN
iajs-3023	9	10	is	be	AUX
iajs-3023	9	11	the	the	DET
iajs-3023	9	12	biggest	big	ADJ
iajs-3023	9	13	monotone	monotone	ADJ
iajs-3023	9	14	mapping	mapping	NOUN
iajs-3023	9	15	.	.	PUNCT
iajs-3023	10	1	many	many	ADJ
iajs-3023	10	2	scholars	scholar	NOUN
iajs-3023	10	3	have	have	AUX
iajs-3023	10	4	explored	explore	VERB
iajs-3023	10	5	the	the	DET
iajs-3023	10	6	challenge	challenge	NOUN
iajs-3023	10	7	of	of	ADP
iajs-3023	10	8	finding	find	VERB
iajs-3023	10	9	zeroes	zero	NOUN
iajs-3023	10	10	,	,	PUNCT
iajs-3023	10	11	including	include	VERB
iajs-3023	10	12	[	[	X
iajs-3023	10	13	1	1	NUM
iajs-3023	10	14	]	]	PUNCT
iajs-3023	10	15	and	and	CCONJ
iajs-3023	10	16	[	[	X
iajs-3023	10	17	2	2	NUM
iajs-3023	10	18	]	]	PUNCT
iajs-3023	10	19	.	.	PUNCT
iajs-3023	11	1	the	the	DET
iajs-3023	11	2	proximal	proximal	ADJ
iajs-3023	11	3	method	method	NOUN
iajs-3023	11	4	algorithm	algorithm	NOUN
iajs-3023	11	5	is	be	AUX
iajs-3023	11	6	a	a	DET
iajs-3023	11	7	popular	popular	ADJ
iajs-3023	11	8	approach	approach	NOUN
iajs-3023	11	9	for	for	ADP
iajs-3023	11	10	solving	solve	VERB
iajs-3023	11	11	0	0	NUM
iajs-3023	11	12	∈	∈	PROPN
iajs-3023	11	13	mx	mx	PROPN
iajs-3023	11	14	.	.	PROPN
iajs-3023	11	15	rockafellar	rockafellar	PROPN
iajs-3023	11	16	demonstrated	demonstrate	VERB
iajs-3023	11	17	w	w	NOUN
iajs-3023	11	18	-	-	PUNCT
iajs-3023	11	19	convergence	convergence	NOUN
iajs-3023	11	20	of	of	ADP
iajs-3023	11	21	the	the	DET
iajs-3023	11	22	peripoint	peripoint	NOUN
iajs-3023	11	23	technique	technique	NOUN
iajs-3023	11	24	in	in	ADP
iajs-3023	11	25	1976	1976	NUM
iajs-3023	11	26	,	,	PUNCT
iajs-3023	11	27	but	but	CCONJ
iajs-3023	11	28	it	it	PRON
iajs-3023	11	29	did	do	AUX
iajs-3023	11	30	not	not	PART
iajs-3023	11	31	s	s	VERB
iajs-3023	11	32	-	-	VERB
iajs-3023	11	33	converge	converge	VERB
iajs-3023	11	34	[	[	X
iajs-3023	11	35	3	3	NUM
iajs-3023	11	36	]	]	PUNCT
iajs-3023	11	37	.	.	PUNCT
iajs-3023	12	1	the	the	DET
iajs-3023	12	2	human	human	NOUN
iajs-3023	12	3	-	-	PUNCT
iajs-3023	12	4	like	like	ADJ
iajs-3023	12	5	iterative	iterative	NOUN
iajs-3023	12	6	approach	approach	NOUN
iajs-3023	12	7	is	be	AUX
iajs-3023	12	8	properly	properly	ADV
iajs-3023	12	9	arranged	arrange	VERB
iajs-3023	12	10	in	in	ADP
iajs-3023	12	11	the	the	DET
iajs-3023	12	12	fpoint	fpoint	NOUN
iajs-3023	12	13	process	process	NOUN
iajs-3023	12	14	to	to	PART
iajs-3023	12	15	solve	solve	VERB
iajs-3023	12	16	numerous	numerous	ADJ
iajs-3023	12	17	nonlinear	nonlinear	ADJ
iajs-3023	12	18	issues	issue	NOUN
iajs-3023	12	19	[	[	X
iajs-3023	12	20	4	4	NUM
iajs-3023	12	21	]	]	PUNCT
iajs-3023	12	22	.	.	PUNCT
iajs-3023	13	1	however	however	ADV
iajs-3023	13	2	,	,	PUNCT
iajs-3023	13	3	mannlikealgorithm	mannlikealgorithm	PROPN
iajs-3023	13	4	processes	process	VERB
iajs-3023	13	5	in	in	ADP
iajs-3023	13	6	hilbert	hilbert	NOUN
iajs-3023	13	7	space	space	NOUN
iajs-3023	13	8	are	be	AUX
iajs-3023	13	9	only	only	ADV
iajs-3023	13	10	wsmoothed	wsmoothe	VERB
iajs-3023	13	11	.	.	PUNCT
iajs-3023	14	1	[	[	X
iajs-3023	14	2	5	5	NUM
iajs-3023	14	3	]	]	PUNCT
iajs-3023	14	4	presented	present	VERB
iajs-3023	14	5	a	a	DET
iajs-3023	14	6	viscosity	viscosity	NOUN
iajs-3023	14	7	,	,	PUNCT
iajs-3023	14	8	for	for	ADP
iajs-3023	14	9	resolving	resolve	VERB
iajs-3023	14	10	fpoint	fpoint	NOUN
iajs-3023	14	11	of	of	ADP
iajs-3023	14	12	a	a	DET
iajs-3023	14	13	nonlinear	nonlinear	ADJ
iajs-3023	14	14	maps	map	NOUN
iajs-3023	14	15	.	.	PUNCT
iajs-3023	15	1	the	the	DET
iajs-3023	15	2	contour	contour	NOUN
iajs-3023	15	3	of	of	ADP
iajs-3023	15	4	hilbert	hilbert	NOUN
iajs-3023	15	5	space	space	NOUN
iajs-3023	15	6	identifies	identify	VERB
iajs-3023	15	7	common	common	ADJ
iajs-3023	15	8	solution	solution	NOUN
iajs-3023	15	9	sconvergence	sconvergence	NOUN
iajs-3023	15	10	theorems	theorem	VERB
iajs-3023	15	11	.	.	PUNCT
iajs-3023	16	1	the	the	DET
iajs-3023	16	2	fpoint	fpoint	PROPN
iajs-3023	16	3	theory	theory	NOUN
iajs-3023	16	4	solutions	solution	NOUN
iajs-3023	16	5	have	have	AUX
iajs-3023	16	6	been	be	AUX
iajs-3023	16	7	demonstrated	demonstrate	VERB
iajs-3023	16	8	to	to	PART
iajs-3023	16	9	be	be	AUX
iajs-3023	16	10	a	a	DET
iajs-3023	16	11	successful	successful	ADJ
iajs-3023	16	12	and	and	CCONJ
iajs-3023	16	13	influential	influential	ADJ
iajs-3023	16	14	way	way	NOUN
iajs-3023	16	15	for	for	ADP
iajs-3023	16	16	addressing	address	VERB
iajs-3023	16	17	a	a	DET
iajs-3023	16	18	wide	wide	ADJ
iajs-3023	16	19	range	range	NOUN
iajs-3023	16	20	of	of	ADP
iajs-3023	16	21	real	real	ADJ
iajs-3023	16	22	-	-	PUNCT
iajs-3023	16	23	world	world	NOUN
iajs-3023	16	24	problems	problem	NOUN
iajs-3023	16	25	that	that	PRON
iajs-3023	16	26	can	can	AUX
iajs-3023	16	27	be	be	AUX
iajs-3023	16	28	broken	break	VERB
iajs-3023	16	29	down	down	ADP
iajs-3023	16	30	into	into	ADP
iajs-3023	16	31	identical	identical	ADJ
iajs-3023	16	32	fpoint	fpoint	NOUN
iajs-3023	16	33	problems.in	problems.in	X
iajs-3023	16	34	order	order	NOUN
iajs-3023	16	35	to	to	PART
iajs-3023	16	36	get	get	VERB
iajs-3023	16	37	a	a	DET
iajs-3023	16	38	rough	rough	ADJ
iajs-3023	16	39	resolution	resolution	NOUN
iajs-3023	16	40	of	of	ADP
iajs-3023	16	41	f	f	NOUN
iajs-3023	16	42	-	-	PUNCT
iajs-3023	16	43	point	point	NOUN
iajs-3023	16	44	difficulties	difficulty	NOUN
iajs-3023	16	45	,	,	PUNCT
iajs-3023	16	46	many	many	ADJ
iajs-3023	16	47	algorithm	algorithm	NOUN
iajs-3023	16	48	procedures	procedure	NOUN
iajs-3023	16	49	must	must	AUX
iajs-3023	16	50	be	be	AUX
iajs-3023	16	51	devised	devise	VERB
iajs-3023	16	52	[	[	PUNCT
iajs-3023	16	53	618	618	NUM
iajs-3023	16	54	]	]	PUNCT
iajs-3023	16	55	.	.	PUNCT
iajs-3023	17	1	the	the	DET
iajs-3023	17	2	purpose	purpose	NOUN
iajs-3023	17	3	of	of	ADP
iajs-3023	17	4	this	this	DET
iajs-3023	17	5	paper	paper	NOUN
iajs-3023	17	6	is	be	AUX
iajs-3023	17	7	to	to	PART
iajs-3023	17	8	expand	expand	VERB
iajs-3023	17	9	and	and	CCONJ
iajs-3023	17	10	improve	improve	VERB
iajs-3023	17	11	the	the	DET
iajs-3023	17	12	proximal	proximal	ADJ
iajs-3023	17	13	methods	method	NOUN
iajs-3023	17	14	of	of	ADP
iajs-3023	17	15	multivalued	multivalued	ADJ
iajs-3023	17	16	operators	operator	NOUN
iajs-3023	17	17	.	.	PUNCT
iajs-3023	18	1	one	one	NUM
iajs-3023	18	2	of	of	ADP
iajs-3023	18	3	the	the	DET
iajs-3023	18	4	most	most	ADV
iajs-3023	18	5	important	important	ADJ
iajs-3023	18	6	examples	example	NOUN
iajs-3023	18	7	of	of	ADP
iajs-3023	18	8	fpoint	fpoint	NOUN
iajs-3023	18	9	theory	theory	NOUN
iajs-3023	18	10	is	be	AUX
iajs-3023	18	11	the	the	DET
iajs-3023	18	12	challenge	challenge	NOUN
iajs-3023	18	13	of	of	ADP
iajs-3023	18	14	solving	solve	VERB
iajs-3023	18	15	zero	zero	NUM
iajs-3023	18	16	of	of	ADP
iajs-3023	18	17	(	(	PUNCT
iajs-3023	18	18	v.i	v.i	PROPN
iajs-3023	18	19	)	)	PUNCT
iajs-3023	18	20	problem	problem	NOUN
iajs-3023	18	21	as	as	ADP
iajs-3023	18	22	doi.org/10.30526/36.2.3023	doi.org/10.30526/36.2.3023	NOUN
iajs-3023	18	23	article	article	NOUN
iajs-3023	18	24	history	history	NOUN
iajs-3023	18	25	:	:	PUNCT
iajs-3023	18	26	received	receive	VERB
iajs-3023	18	27	18	18	NUM
iajs-3023	18	28	september	september	PROPN
iajs-3023	18	29	2022	2022	NUM
iajs-3023	18	30	,	,	PUNCT
iajs-3023	18	31	accepted	accept	VERB
iajs-3023	18	32	12	12	NUM
iajs-3023	18	33	december	december	PROPN
iajs-3023	18	34	2022	2022	NUM
iajs-3023	18	35	,	,	PUNCT
iajs-3023	18	36	published	publish	VERB
iajs-3023	18	37	in	in	ADP
iajs-3023	18	38	april	april	PROPN
iajs-3023	18	39	2023	2023	NUM
iajs-3023	18	40	.	.	PUNCT
iajs-3023	19	1	ibn	ibn	PROPN
iajs-3023	19	2	al	al	PROPN
iajs-3023	19	3	-	-	PUNCT
iajs-3023	19	4	haitham	haitham	PROPN
iajs-3023	19	5	journal	journal	PROPN
iajs-3023	19	6	for	for	ADP
iajs-3023	19	7	pure	pure	ADJ
iajs-3023	19	8	and	and	CCONJ
iajs-3023	19	9	applied	applied	ADJ
iajs-3023	19	10	sciences	sciences	PROPN
iajs-3023	19	11	journal	journal	PROPN
iajs-3023	19	12	homepage	homepage	NOUN
iajs-3023	19	13	:	:	PUNCT
iajs-3023	19	14	jih.uobaghdad.edu.iq	jih.uobaghdad.edu.iq	NOUN
iajs-3023	19	15	convergence	convergence	NOUN
iajs-3023	19	16	to	to	PART
iajs-3023	19	17	approximate	approximate	ADJ
iajs-3023	19	18	solutions	solution	NOUN
iajs-3023	19	19	of	of	ADP
iajs-3023	19	20	multivalued	multivalued	ADJ
iajs-3023	19	21	operators	operator	NOUN
iajs-3023	19	22	https://creativecommons.org/licenses/by/4.0/	https://creativecommons.org/licenses/by/4.0/	PROPN
iajs-3023	19	23	about	about	ADP
iajs-3023	19	24	:	:	PUNCT
iajs-3023	19	25	blank	blank	ADJ
iajs-3023	19	26	http://en.uobaghdad.edu.iq/?page_id=15060	http://en.uobaghdad.edu.iq/?page_id=15060	NOUN
iajs-3023	19	27	ihjpas	ihjpa	VERB
iajs-3023	19	28	.	.	PUNCT
iajs-3023	20	1	36(2)2023	36(2)2023	NUM
iajs-3023	20	2	368	368	NUM
iajs-3023	20	3	{	{	PUNCT
iajs-3023	20	4	𝑎2𝑛+1	𝑎2𝑛+1	PROPN
iajs-3023	20	5	=	=	PUNCT
iajs-3023	20	6	𝑎𝑛𝑏	𝑎𝑛𝑏	NOUN
iajs-3023	20	7	+	+	CCONJ
iajs-3023	20	8	𝛿𝑛𝑎2𝑛	𝛿𝑛𝑎2𝑛	VERB
iajs-3023	21	1	+	+	CCONJ
iajs-3023	21	2	𝛾𝑛𝑅𝑒𝑠𝛽𝑛	𝛾𝑛𝑅𝑒𝑠𝛽𝑛	ADJ
iajs-3023	21	3	𝑁	𝑁	PROPN
iajs-3023	21	4	(	(	PUNCT
iajs-3023	21	5	𝑎2𝑛	𝑎2𝑛	PROPN
iajs-3023	21	6	)	)	PUNCT
iajs-3023	22	1	+	+	CCONJ
iajs-3023	22	2	ℯ𝑛	ℯ𝑛	PROPN
iajs-3023	22	3	𝑛	𝑛	PRON
iajs-3023	22	4	≥	≥	NOUN
iajs-3023	22	5	0	0	NUM
iajs-3023	22	6	𝑎2𝑛	𝑎2𝑛	PROPN
iajs-3023	22	7	=	=	PUNCT
iajs-3023	22	8	𝜆𝑛𝑏	𝜆𝑛𝑏	NOUN
iajs-3023	23	1	+	+	CCONJ
iajs-3023	23	2	𝜌𝑛𝑎2𝑛−1	𝜌𝑛𝑎2𝑛−1	PRON
iajs-3023	23	3	+	+	CCONJ
iajs-3023	23	4	𝛿𝑛𝑅𝑒𝑠𝜇𝑛	𝛿𝑛𝑅𝑒𝑠𝜇𝑛	PROPN
iajs-3023	23	5	𝑀	𝑀	PROPN
iajs-3023	23	6	(	(	PUNCT
iajs-3023	23	7	𝑎2𝑛−1	𝑎2𝑛−1	PROPN
iajs-3023	23	8	)	)	PUNCT
iajs-3023	23	9	+	+	CCONJ
iajs-3023	23	10	ℯ𝑛	ℯ𝑛	INTJ
iajs-3023	23	11	′	′	NUM
iajs-3023	23	12	𝑛	𝑛	PRON
iajs-3023	23	13	≥	≥	NOUN
iajs-3023	23	14	0	0	NUM
iajs-3023	23	15	for	for	ADP
iajs-3023	23	16	given	give	VERB
iajs-3023	23	17	u	u	PROPN
iajs-3023	23	18	,	,	PUNCT
iajs-3023	23	19	a0	a0	PROPN
iajs-3023	23	20	∈	∈	PROPN
iajs-3023	23	21	𝛨	𝛨	PROPN
iajs-3023	23	22	,	,	PUNCT
iajs-3023	23	23	where	where	SCONJ
iajs-3023	23	24	(	(	PUNCT
iajs-3023	23	25	ℯ	ℯ	NOUN
iajs-3023	23	26	n	n	CCONJ
iajs-3023	23	27	)	)	PUNCT
iajs-3023	23	28	and	and	CCONJ
iajs-3023	23	29	(	(	PUNCT
iajs-3023	23	30	ℯ𝑛	ℯ𝑛	INTJ
iajs-3023	23	31	′	′	NOUN
iajs-3023	23	32	)	)	PUNCT
iajs-3023	23	33	are	be	AUX
iajs-3023	23	34	sequences	sequence	NOUN
iajs-3023	23	35	of	of	ADP
iajs-3023	23	36	calculation	calculation	NOUN
iajs-3023	23	37	mistakes	mistake	NOUN
iajs-3023	23	38	,	,	PUNCT
iajs-3023	23	39	n	n	PROPN
iajs-3023	23	40	and	and	CCONJ
iajs-3023	23	41	m	m	PROPN
iajs-3023	23	42	are	be	AUX
iajs-3023	23	43	m.m	m.m	PROPN
iajs-3023	23	44	operators	operator	NOUN
iajs-3023	23	45	and	and	CCONJ
iajs-3023	23	46	𝑎𝑛	𝑎𝑛	PRON
iajs-3023	23	47	,	,	PUNCT
iajs-3023	23	48	𝛿𝑛	𝛿𝑛	INTJ
iajs-3023	23	49	,	,	PUNCT
iajs-3023	23	50	𝛾𝑛are	𝛾𝑛are	NOUN
iajs-3023	23	51	seq	seq	NOUN
iajs-3023	23	52	lies	lie	VERB
iajs-3023	23	53	in	in	ADP
iajs-3023	23	54	(	(	PUNCT
iajs-3023	23	55	0,1	0,1	NUM
iajs-3023	23	56	)	)	PUNCT
iajs-3023	23	57	and	and	CCONJ
iajs-3023	23	58	𝛽𝑛	𝛽𝑛	PROPN
iajs-3023	23	59	,	,	PUNCT
iajs-3023	23	60	𝜇𝑛	𝜇𝑛	PROPN
iajs-3023	23	61	∈	∈	PROPN
iajs-3023	23	62	(	(	PUNCT
iajs-3023	23	63	0	0	NUM
iajs-3023	23	64	,	,	PUNCT
iajs-3023	23	65	∞	∞	NUM
iajs-3023	23	66	)	)	PUNCT
iajs-3023	23	67	.	.	PUNCT
iajs-3023	24	1	here	here	ADV
iajs-3023	24	2	𝑅𝑒𝑠𝛽	𝑅𝑒𝑠𝛽	PROPN
iajs-3023	24	3	𝑁	𝑁	PROPN
iajs-3023	24	4	=	=	SYM
iajs-3023	24	5	(	(	PUNCT
iajs-3023	24	6	𝐼	𝐼	PROPN
iajs-3023	24	7	+	+	ADJ
iajs-3023	24	8	𝛽𝑁	𝛽𝑁	ADJ
iajs-3023	24	9	)	)	PUNCT
iajs-3023	24	10	−1	−1	NOUN
iajs-3023	24	11	,	,	PUNCT
iajs-3023	24	12	𝛽	𝛽	NOUN
iajs-3023	24	13	>	>	X
iajs-3023	24	14	0	0	PUNCT
iajs-3023	25	1	(	(	PUNCT
iajs-3023	25	2	the	the	DET
iajs-3023	25	3	resovent	resovent	NOUN
iajs-3023	25	4	operator	operator	NOUN
iajs-3023	25	5	of	of	ADP
iajs-3023	25	6	n	n	CCONJ
iajs-3023	25	7	)	)	PUNCT
iajs-3023	25	8	.	.	PUNCT
iajs-3023	26	1	now	now	ADV
iajs-3023	26	2	,	,	PUNCT
iajs-3023	26	3	we	we	PRON
iajs-3023	26	4	will	will	AUX
iajs-3023	26	5	review	review	VERB
iajs-3023	26	6	some	some	DET
iajs-3023	26	7	concepts	concept	NOUN
iajs-3023	26	8	and	and	CCONJ
iajs-3023	26	9	lemmas	lemmas	PROPN
iajs-3023	26	10	known	know	VERB
iajs-3023	26	11	.	.	PUNCT
iajs-3023	27	1	let	let	VERB
iajs-3023	27	2	∅	∅	NOUN
iajs-3023	27	3	≠c	≠c	NOUN
iajs-3023	27	4	be	be	AUX
iajs-3023	27	5	a	a	DET
iajs-3023	27	6	closed	closed	ADJ
iajs-3023	27	7	,	,	PUNCT
iajs-3023	27	8	convex	convex	NOUN
iajs-3023	27	9	in	in	ADP
iajs-3023	27	10	h	h	NOUN
iajs-3023	27	11	and	and	CCONJ
iajs-3023	27	12	proc	proc	NOUN
iajs-3023	27	13	denote	denote	VERB
iajs-3023	27	14	the	the	DET
iajs-3023	27	15	nearest	near	ADJ
iajs-3023	27	16	mapping	mapping	NOUN
iajs-3023	27	17	from	from	ADP
iajs-3023	27	18	h	h	PROPN
iajs-3023	27	19	onto	onto	ADP
iajs-3023	27	20	c	c	NOUN
iajs-3023	27	21	,	,	PUNCT
iajs-3023	27	22	a	a	DET
iajs-3023	27	23	mapping	mapping	NOUN
iajs-3023	27	24	𝐾is	𝐾is	PROPN
iajs-3023	27	25	called	call	VERB
iajs-3023	27	26	nonexpansive	nonexpansive	ADJ
iajs-3023	27	27	if	if	SCONJ
iajs-3023	27	28	‖𝐾𝑢	‖𝐾𝑢	VERB
iajs-3023	27	29	−	−	PROPN
iajs-3023	27	30	𝐾𝑣‖	𝐾𝑣‖	PROPN
iajs-3023	27	31	≤	≤	PROPN
iajs-3023	27	32	‖𝑢	‖𝑢	NOUN
iajs-3023	27	33	−	−	ADP
iajs-3023	27	34	𝑣‖	𝑣‖	PROPN
iajs-3023	27	35	,	,	PUNCT
iajs-3023	27	36	∀𝑢	∀𝑢	NOUN
iajs-3023	27	37	,	,	PUNCT
iajs-3023	27	38	𝑣	𝑣	PRON
iajs-3023	27	39	∈	∈	PROPN
iajs-3023	27	40	𝐻	𝐻	PROPN
iajs-3023	27	41	and	and	CCONJ
iajs-3023	27	42	𝛼	𝛼	PRON
iajs-3023	27	43	−inverse	−inverse	NOUN
iajs-3023	27	44	strongly	strongly	ADV
iajs-3023	27	45	monotone	monotone	ADJ
iajs-3023	27	46	if	if	SCONJ
iajs-3023	27	47	there	there	PRON
iajs-3023	27	48	exist	exist	VERB
iajs-3023	27	49	α	α	PROPN
iajs-3023	27	50	>	>	X
iajs-3023	27	51	0	0	NUM
iajs-3023	28	1	such	such	ADJ
iajs-3023	28	2	that	that	SCONJ
iajs-3023	28	3	〈	〈	PROPN
iajs-3023	28	4	𝑆𝑢	𝑆𝑢	PROPN
iajs-3023	28	5	−	−	PUNCT
iajs-3023	29	1	𝑆𝑣	𝑆𝑣	PROPN
iajs-3023	29	2	,	,	PUNCT
iajs-3023	29	3	𝑢	𝑢	PROPN
iajs-3023	29	4	−	−	NOUN
iajs-3023	29	5	𝑣	𝑣	ADP
iajs-3023	29	6	〉	〉	X
iajs-3023	29	7	≥	≥	NOUN
iajs-3023	29	8	𝛼‖𝐾𝑢	𝛼‖𝐾𝑢	ADJ
iajs-3023	29	9	−	−	PROPN
iajs-3023	29	10	𝐾𝑣‖2	𝐾𝑣‖2	PROPN
iajs-3023	29	11	,	,	PUNCT
iajs-3023	29	12	∀𝑢	∀𝑢	PROPN
iajs-3023	29	13	,	,	PUNCT
iajs-3023	29	14	𝑣	𝑣	ADP
iajs-3023	29	15	∈h	∈h	NOUN
iajs-3023	29	16	.	.	PUNCT
iajs-3023	30	1	lemma	lemma	PROPN
iajs-3023	30	2	1	1	NUM
iajs-3023	30	3	.	.	PUNCT
iajs-3023	31	1	[	[	X
iajs-3023	31	2	16	16	NUM
iajs-3023	31	3	]	]	X
iajs-3023	31	4	let	let	AUX
iajs-3023	31	5	{	{	PUNCT
iajs-3023	31	6	𝑎𝑛}𝑛=1	𝑎𝑛}𝑛=1	PROPN
iajs-3023	31	7	∞	∞	PROPN
iajs-3023	31	8	be	be	AUX
iajs-3023	31	9	a	a	DET
iajs-3023	31	10	sequence	sequence	NOUN
iajs-3023	31	11	in	in	ADP
iajs-3023	31	12	𝑅+	𝑅+	PUNCT
iajs-3023	31	13	satisfying	satisfy	VERB
iajs-3023	31	14	the	the	DET
iajs-3023	31	15	following	follow	VERB
iajs-3023	31	16	relation	relation	NOUN
iajs-3023	31	17	:	:	PUNCT
iajs-3023	31	18	𝑎𝑛+1	𝑎𝑛+1	NOUN
iajs-3023	31	19	≤	≤	NOUN
iajs-3023	31	20	(	(	PUNCT
iajs-3023	31	21	1	1	NUM
iajs-3023	31	22	−	−	PROPN
iajs-3023	31	23	𝛼𝑛)𝑎𝑛	𝛼𝑛)𝑎𝑛	X
iajs-3023	32	1	+	+	CCONJ
iajs-3023	32	2	𝛼𝑛𝛿𝑛	𝛼𝑛𝛿𝑛	NOUN
iajs-3023	32	3	,	,	PUNCT
iajs-3023	32	4	𝑛	𝑛	PRON
iajs-3023	32	5	≥	≥	NUM
iajs-3023	32	6	𝑛𝑜	𝑛𝑜	NOUN
iajs-3023	32	7	where{𝛼𝑛}𝑛=1	where{𝛼𝑛}𝑛=1	NOUN
iajs-3023	32	8	∞	∞	PROPN
iajs-3023	32	9	⊏	⊏	PROPN
iajs-3023	32	10	(	(	PUNCT
iajs-3023	32	11	0,1	0,1	NUM
iajs-3023	32	12	)	)	PUNCT
iajs-3023	32	13	and{𝛿𝑛}𝑛=1	and{𝛿𝑛}𝑛=1	NOUN
iajs-3023	32	14	∞	∞	PROPN
iajs-3023	32	15	⊂	⊂	PROPN
iajs-3023	33	1	𝑅	𝑅	PROPN
iajs-3023	33	2	satisfy	satisfy	VERB
iajs-3023	33	3	the	the	DET
iajs-3023	33	4	following	follow	VERB
iajs-3023	33	5	condition	condition	NOUN
iajs-3023	33	6	:	:	PUNCT
iajs-3023	33	7	∑	∑	PROPN
iajs-3023	33	8	𝛼𝑛	𝛼𝑛	PROPN
iajs-3023	33	9	∞	∞	PROPN
iajs-3023	33	10	𝑛=1	𝑛=1	NOUN
iajs-3023	33	11	=	=	SYM
iajs-3023	33	12	∞	∞	PROPN
iajs-3023	33	13	and	and	CCONJ
iajs-3023	33	14	lim	lim	PROPN
iajs-3023	33	15	𝑛→∞	𝑛→∞	NUM
iajs-3023	33	16	𝑠𝑢𝑝𝛿𝑛	𝑠𝑢𝑝𝛿𝑛	PROPN
iajs-3023	33	17	≤	≤	ADJ
iajs-3023	33	18	0	0	NUM
iajs-3023	34	1	or	or	CCONJ
iajs-3023	34	2	∑	∑	PROPN
iajs-3023	34	3	𝛼𝑛	𝛼𝑛	PROPN
iajs-3023	34	4	∞	∞	PROPN
iajs-3023	34	5	𝑛=1	𝑛=1	NOUN
iajs-3023	34	6	𝛿𝑛	𝛿𝑛	ADP
iajs-3023	34	7	=	=	SYM
iajs-3023	34	8	∞	∞	PROPN
iajs-3023	34	9	.	.	PUNCT
iajs-3023	35	1	then	then	ADV
iajs-3023	35	2	lim	lim	PROPN
iajs-3023	35	3	𝑛→∞	𝑛→∞	NUM
iajs-3023	35	4	𝛼𝑛	𝛼𝑛	PROPN
iajs-3023	35	5	=	=	NOUN
iajs-3023	35	6	0	0	PROPN
iajs-3023	35	7	.	.	PUNCT
iajs-3023	36	1	lemma	lemma	PROPN
iajs-3023	36	2	2	2	NUM
iajs-3023	37	1	[	[	X
iajs-3023	37	2	18	18	NUM
iajs-3023	37	3	]	]	PUNCT
iajs-3023	37	4	let	let	VERB
iajs-3023	37	5	𝑎	𝑎	NOUN
iajs-3023	37	6	∈	∈	NOUN
iajs-3023	37	7	𝐻	𝐻	PRON
iajs-3023	37	8	be	be	AUX
iajs-3023	37	9	given	give	VERB
iajs-3023	37	10	.	.	PUNCT
iajs-3023	38	1	the	the	DET
iajs-3023	38	2	nearest	near	ADJ
iajs-3023	38	3	mapping	mapping	NOUN
iajs-3023	38	4	is	be	AUX
iajs-3023	38	5	characterized	characterize	VERB
iajs-3023	38	6	by	by	ADP
iajs-3023	38	7	:	:	PUNCT
iajs-3023	38	8	(	(	PUNCT
iajs-3023	38	9	i	i	NOUN
iajs-3023	38	10	)	)	PUNCT
iajs-3023	38	11	𝑃𝑟𝑜𝐶𝑎	𝑃𝑟𝑜𝐶𝑎	PROPN
iajs-3023	38	12	∈	∈	PROPN
iajs-3023	38	13	𝐶	𝐶	PROPN
iajs-3023	38	14	,	,	PUNCT
iajs-3023	38	15	〈	〈	PROPN
iajs-3023	38	16	𝑎	𝑎	PRON
iajs-3023	38	17	−	−	PRON
iajs-3023	38	18	𝑃𝑟𝑜𝐶𝑎	𝑃𝑟𝑜𝐶𝑎	PROPN
iajs-3023	38	19	,	,	PUNCT
iajs-3023	38	20	𝑃𝑟𝑜𝐶𝑎	𝑃𝑟𝑜𝐶𝑎	PROPN
iajs-3023	38	21	−	−	PROPN
iajs-3023	38	22	𝑐	𝑐	NOUN
iajs-3023	38	23	〉	〉	NOUN
iajs-3023	38	24	≥	≥	NOUN
iajs-3023	38	25	0	0	NUM
iajs-3023	38	26	,	,	PUNCT
iajs-3023	38	27	for	for	ADP
iajs-3023	38	28	all	all	DET
iajs-3023	38	29	𝑐	𝑐	PROPN
iajs-3023	38	30	∈	∈	PROPN
iajs-3023	38	31	𝐶	𝐶	PROPN
iajs-3023	38	32	.	.	PUNCT
iajs-3023	39	1	(	(	PUNCT
iajs-3023	39	2	ii	ii	X
iajs-3023	39	3	)	)	PUNCT
iajs-3023	39	4	𝑃𝑟𝑜𝐶	𝑃𝑟𝑜𝐶	NOUN
iajs-3023	39	5	is	be	AUX
iajs-3023	39	6	firmly	firmly	ADV
iajs-3023	39	7	nonexpansive	nonexpansive	ADJ
iajs-3023	39	8	.	.	PUNCT
iajs-3023	40	1	lemma	lemma	PROPN
iajs-3023	40	2	3	3	NUM
iajs-3023	41	1	[	[	X
iajs-3023	41	2	19	19	NUM
iajs-3023	41	3	]	]	PUNCT
iajs-3023	41	4	let{𝑎𝑛}𝑛=1	let{𝑎𝑛}𝑛=1	X
iajs-3023	41	5	∞	∞	PROPN
iajs-3023	41	6	and	and	CCONJ
iajs-3023	41	7	{	{	PUNCT
iajs-3023	41	8	𝑏𝑛}𝑛=1	𝑏𝑛}𝑛=1	PROPN
iajs-3023	41	9	∞	∞	PROPN
iajs-3023	41	10	be	be	AUX
iajs-3023	41	11	bounded	bound	VERB
iajs-3023	41	12	sequence	sequence	NOUN
iajs-3023	41	13	in	in	ADP
iajs-3023	41	14	h	h	NOUN
iajs-3023	41	15	and	and	CCONJ
iajs-3023	41	16	let{𝛽𝑛}𝑛=1	let{𝛽𝑛}𝑛=1	NOUN
iajs-3023	41	17	∞	∞	PROPN
iajs-3023	41	18	be	be	AUX
iajs-3023	41	19	a	a	DET
iajs-3023	41	20	sequence	sequence	NOUN
iajs-3023	41	21	in	in	ADP
iajs-3023	41	22	(	(	PUNCT
iajs-3023	41	23	0,1	0,1	NOUN
iajs-3023	41	24	)	)	PUNCT
iajs-3023	41	25	with	with	ADP
iajs-3023	41	26	0	0	NUM
iajs-3023	41	27	≤	≤	NOUN
iajs-3023	42	1	lim	lim	NOUN
iajs-3023	42	2	𝑛→∞	𝑛→∞	NUM
iajs-3023	42	3	𝑖𝑛𝑓𝛽𝑛	𝑖𝑛𝑓𝛽𝑛	PROPN
iajs-3023	42	4	≤	≤	PROPN
iajs-3023	42	5	lim	lim	PROPN
iajs-3023	42	6	𝑛→∞	𝑛→∞	NUM
iajs-3023	42	7	𝑠𝑢𝑝𝛽𝑛	𝑠𝑢𝑝𝛽𝑛	ADJ
iajs-3023	42	8	≤	≤	ADJ
iajs-3023	42	9	1	1	NUM
iajs-3023	42	10	.	.	PUNCT
iajs-3023	42	11	suppose	suppose	VERB
iajs-3023	42	12	𝑎𝑛+1	𝑎𝑛+1	X
iajs-3023	42	13	=	=	SYM
iajs-3023	42	14	(	(	PUNCT
iajs-3023	42	15	1	1	NUM
iajs-3023	42	16	−	−	NOUN
iajs-3023	42	17	𝛽𝑛)𝑏𝑛	𝛽𝑛)𝑏𝑛	SYM
iajs-3023	42	18	+	+	NUM
iajs-3023	42	19	𝛽𝑛𝑎𝑛	𝛽𝑛𝑎𝑛	NOUN
iajs-3023	42	20	for	for	ADP
iajs-3023	42	21	all	all	DET
iajs-3023	42	22	integers	integer	NOUN
iajs-3023	42	23	𝑛	𝑛	PRON
iajs-3023	42	24	≥	≥	NOUN
iajs-3023	42	25	0	0	NUM
iajs-3023	42	26	and	and	CCONJ
iajs-3023	42	27	lim	lim	PROPN
iajs-3023	42	28	𝑛→∞	𝑛→∞	NUM
iajs-3023	42	29	sup	sup	NOUN
iajs-3023	42	30	(	(	PUNCT
iajs-3023	42	31	‖𝑏𝑛+1	‖𝑏𝑛+1	NUM
iajs-3023	42	32	−	−	PROPN
iajs-3023	42	33	𝑏𝑛‖	𝑏𝑛‖	PROPN
iajs-3023	42	34	−	−	PROPN
iajs-3023	42	35	‖𝑎𝑛+1	‖𝑎𝑛+1	PRON
iajs-3023	42	36	−	−	PROPN
iajs-3023	42	37	𝑎𝑛‖	𝑎𝑛‖	PROPN
iajs-3023	42	38	)	)	PUNCT
iajs-3023	42	39	≤	≤	NOUN
iajs-3023	42	40	0	0	NUM
iajs-3023	43	1	.then	.then	PUNCT
iajs-3023	44	1	lim	lim	NOUN
iajs-3023	44	2	𝑛→∞	𝑛→∞	NUM
iajs-3023	44	3	‖𝑏𝑛	‖𝑏𝑛	NUM
iajs-3023	44	4	−	−	NOUN
iajs-3023	44	5	𝑎𝑛‖	𝑎𝑛‖	PROPN
iajs-3023	44	6	=	=	PROPN
iajs-3023	44	7	0	0	NUM
iajs-3023	44	8	.	.	NUM
iajs-3023	44	9	2	2	NUM
iajs-3023	44	10	.main	.main	PUNCT
iajs-3023	44	11	results	result	NOUN
iajs-3023	44	12	in	in	ADP
iajs-3023	44	13	this	this	DET
iajs-3023	44	14	part	part	NOUN
iajs-3023	44	15	,	,	PUNCT
iajs-3023	44	16	we	we	PRON
iajs-3023	44	17	introduced	introduce	VERB
iajs-3023	44	18	a	a	DET
iajs-3023	44	19	new	new	ADJ
iajs-3023	44	20	methods	method	NOUN
iajs-3023	44	21	and	and	CCONJ
iajs-3023	44	22	we	we	PRON
iajs-3023	44	23	study	study	VERB
iajs-3023	44	24	the	the	DET
iajs-3023	44	25	sconvergence	sconvergence	NOUN
iajs-3023	44	26	,	,	PUNCT
iajs-3023	44	27	theorem	theorem	VERB
iajs-3023	44	28	:	:	PUNCT
iajs-3023	44	29	2.1	2.1	NUM
iajs-3023	44	30	let	let	VERB
iajs-3023	44	31	ℳ𝑖	ℳ𝑖	NOUN
iajs-3023	44	32	:	:	PUNCT
iajs-3023	44	33	𝛨	𝛨	PROPN
iajs-3023	44	34	⟶	⟶	NOUN
iajs-3023	44	35	2𝐻	2𝐻	PROPN
iajs-3023	44	36	be	be	AUX
iajs-3023	44	37	a	a	DET
iajs-3023	44	38	m.m	m.m	PROPN
iajs-3023	44	39	.	.	PROPN
iajs-3023	44	40	operators	operator	NOUN
iajs-3023	44	41	such	such	ADJ
iajs-3023	44	42	that	that	SCONJ
iajs-3023	44	43	𝐹(𝑃𝑟𝑜𝑠	𝐹(𝑃𝑟𝑜𝑠	NOUN
iajs-3023	44	44	)	)	PUNCT
iajs-3023	45	1	⋂	⋂	PROPN
iajs-3023	45	2	ℳ𝑖	ℳ𝑖	PROPN
iajs-3023	45	3	−10	−10	PUNCT
iajs-3023	45	4	≠	≠	PROPN
iajs-3023	45	5	∅𝑙	∅𝑙	VERB
iajs-3023	45	6	𝑖=1	𝑖=1	PROPN
iajs-3023	45	7	.if	.if	PROPN
iajs-3023	46	1	the	the	DET
iajs-3023	46	2	sequences	sequence	NOUN
iajs-3023	46	3	{	{	PUNCT
iajs-3023	46	4	𝜉𝑛	𝜉𝑛	NOUN
iajs-3023	46	5	𝑖	𝑖	NOUN
iajs-3023	46	6	}	}	PUNCT
iajs-3023	46	7	𝑛=2	𝑛=2	PROPN
iajs-3023	46	8	∞	∞	NUM
iajs-3023	46	9	,	,	PUNCT
iajs-3023	46	10	{	{	PUNCT
iajs-3023	46	11	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	46	12	}	}	PUNCT
iajs-3023	46	13	𝑛=1	𝑛=1	PROPN
iajs-3023	46	14	∞	∞	PROPN
iajs-3023	46	15	,	,	PUNCT
iajs-3023	46	16	{	{	PUNCT
iajs-3023	46	17	𝘚𝑛}𝑛=1	𝘚𝑛}𝑛=1	NOUN
iajs-3023	46	18	∞	∞	NUM
iajs-3023	46	19	𝑎𝑛𝑑{𝘘𝑛}𝑛=1	𝑎𝑛𝑑{𝘘𝑛}𝑛=1	NOUN
iajs-3023	46	20	∞	∞	PROPN
iajs-3023	46	21	are	be	AUX
iajs-3023	46	22	seqs	seq	NOUN
iajs-3023	46	23	in	in	ADP
iajs-3023	46	24	(	(	PUNCT
iajs-3023	46	25	0,1)satisfy	0,1)satisfy	NUM
iajs-3023	46	26	the	the	DET
iajs-3023	46	27	following	follow	VERB
iajs-3023	46	28	conditions	condition	NOUN
iajs-3023	46	29	:	:	PUNCT
iajs-3023	46	30	(	(	PUNCT
iajs-3023	46	31	i	i	NOUN
iajs-3023	46	32	)	)	PUNCT
iajs-3023	46	33	∑	∑	PUNCT
iajs-3023	46	34	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	46	35	𝑖	𝑖	ADP
iajs-3023	46	36	−	−	NOUN
iajs-3023	46	37	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	46	38	𝑖	𝑖	NOUN
iajs-3023	47	1	|	|	ADV
iajs-3023	47	2	<	<	X
iajs-3023	47	3	∞	∞	NUM
iajs-3023	47	4	𝑓𝑜𝑟	𝑓𝑜𝑟	NOUN
iajs-3023	47	5	𝑎𝑙𝑙	𝑎𝑙𝑙	NOUN
iajs-3023	47	6	𝑖	𝑖	X
iajs-3023	47	7	=	=	SYM
iajs-3023	47	8	1,2	1,2	NUM
iajs-3023	47	9	,	,	PUNCT
iajs-3023	47	10	…	…	PUNCT
iajs-3023	47	11	𝑙∞	𝑙∞	X
iajs-3023	47	12	𝑛=1	𝑛=1	NOUN
iajs-3023	47	13	.	.	PUNCT
iajs-3023	48	1	(	(	PUNCT
iajs-3023	48	2	ii	ii	NOUN
iajs-3023	48	3	)	)	PUNCT
iajs-3023	48	4	∑	∑	PUNCT
iajs-3023	48	5	|𝘙𝑛+1	|𝘙𝑛+1	PROPN
iajs-3023	48	6	𝑖	𝑖	ADP
iajs-3023	48	7	−	−	PROPN
iajs-3023	48	8	𝘙𝑛	𝘙𝑛	NOUN
iajs-3023	48	9	𝑖	𝑖	PROPN
iajs-3023	48	10	|	|	ADV
iajs-3023	48	11	<	<	X
iajs-3023	48	12	∞	∞	PROPN
iajs-3023	48	13	for	for	ADP
iajs-3023	48	14	all	all	DET
iajs-3023	48	15	𝑖	𝑖	NOUN
iajs-3023	48	16	=	=	NOUN
iajs-3023	48	17	1,2	1,2	NUM
iajs-3023	48	18	,	,	PUNCT
iajs-3023	48	19	…	…	PUNCT
iajs-3023	48	20	𝑙∞	𝑙∞	X
iajs-3023	48	21	𝑛=1	𝑛=1	NOUN
iajs-3023	48	22	.	.	PUNCT
iajs-3023	49	1	(	(	PUNCT
iajs-3023	49	2	iii	iii	X
iajs-3023	49	3	)	)	PUNCT
iajs-3023	49	4	∑	∑	NOUN
iajs-3023	49	5	|𝘘𝑛+1	|𝘘𝑛+1	ADJ
iajs-3023	49	6	−	−	PROPN
iajs-3023	49	7	𝘘𝑛|∞	𝘘𝑛|∞	PROPN
iajs-3023	49	8	𝑛=1	𝑛=1	NOUN
iajs-3023	49	9	<	<	X
iajs-3023	49	10	∞	∞	PROPN
iajs-3023	49	11	.	.	PUNCT
iajs-3023	50	1	‖𝘚(𝑛+1)𝑖𝑓(𝑥𝑛+1	‖𝘚(𝑛+1)𝑖𝑓(𝑥𝑛+1	ADJ
iajs-3023	50	2	)	)	PUNCT
iajs-3023	51	1	−	−	PROPN
iajs-3023	52	1	𝘚𝑛𝑖𝑓(𝑥𝑛)‖	𝘚𝑛𝑖𝑓(𝑥𝑛)‖	PART
iajs-3023	52	2	≤	≤	ADJ
iajs-3023	52	3	𝘚𝑛𝑖‖𝑓(𝑥𝑛+1	𝘚𝑛𝑖‖𝑓(𝑥𝑛+1	PROPN
iajs-3023	52	4	)	)	PUNCT
iajs-3023	52	5	−	−	PROPN
iajs-3023	53	1	𝑓(𝑥𝑛)‖and	𝑓(𝑥𝑛)‖and	NUM
iajs-3023	53	2	‖(1	‖(1	NUM
iajs-3023	53	3	−	−	PROPN
iajs-3023	53	4	𝘚(𝑛+1)𝑖	𝘚(𝑛+1)𝑖	PROPN
iajs-3023	53	5	)	)	PUNCT
iajs-3023	53	6	𝑔(𝑥𝑛+1	𝑔(𝑥𝑛+1	ADJ
iajs-3023	53	7	)	)	PUNCT
iajs-3023	53	8	−	−	PROPN
iajs-3023	53	9	(	(	PUNCT
iajs-3023	53	10	1	1	NUM
iajs-3023	53	11	−	−	PROPN
iajs-3023	53	12	𝘚𝑛𝑖	𝘚𝑛𝑖	PROPN
iajs-3023	53	13	)	)	PUNCT
iajs-3023	53	14	𝑔(𝑥𝑛)‖	𝑔(𝑥𝑛)‖	ADP
iajs-3023	53	15	≤	≤	NUM
iajs-3023	53	16	(	(	PUNCT
iajs-3023	53	17	1	1	NUM
iajs-3023	53	18	−	−	PROPN
iajs-3023	53	19	𝘚𝑛𝑖	𝘚𝑛𝑖	PROPN
iajs-3023	53	20	)	)	PUNCT
iajs-3023	53	21	‖	‖	PROPN
iajs-3023	53	22	𝑔(𝑥𝑛+1	𝑔(𝑥𝑛+1	PROPN
iajs-3023	53	23	)	)	PUNCT
iajs-3023	53	24	−	−	PROPN
iajs-3023	54	1	𝑔(𝑥𝑛)‖.then	𝑔(𝑥𝑛)‖.then	ADP
iajs-3023	54	2	the	the	DET
iajs-3023	54	3	sequences	sequence	NOUN
iajs-3023	54	4	{	{	PUNCT
iajs-3023	54	5	𝑥𝑛	𝑥𝑛	NOUN
iajs-3023	54	6	}	}	PUNCT
iajs-3023	54	7	defined	define	VERB
iajs-3023	54	8	by	by	ADP
iajs-3023	54	9	𝑥	𝑥	DET
iajs-3023	54	10	∈	∈	PROPN
iajs-3023	54	11	𝐶	𝐶	PROPN
iajs-3023	54	12	and	and	CCONJ
iajs-3023	54	13	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	54	14	𝑖−1	𝑖−1	PROPN
iajs-3023	54	15	=	=	SYM
iajs-3023	54	16	𝘚𝑛𝑖𝑓(𝑥𝑛	𝘚𝑛𝑖𝑓(𝑥𝑛	X
iajs-3023	54	17	)	)	PUNCT
iajs-3023	55	1	+	+	CCONJ
iajs-3023	55	2	(	(	PUNCT
iajs-3023	55	3	1	1	NUM
iajs-3023	55	4	−	−	PROPN
iajs-3023	55	5	𝘚𝑛𝑖	𝘚𝑛𝑖	PROPN
iajs-3023	55	6	)	)	PUNCT
iajs-3023	55	7	𝑔(𝑥𝑛	𝑔(𝑥𝑛	NUM
iajs-3023	55	8	)	)	PUNCT
iajs-3023	55	9	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	55	10	𝑚	𝑚	NOUN
iajs-3023	55	11	=	=	SYM
iajs-3023	55	12	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	55	13	𝑦𝑛	𝑦𝑛	VERB
iajs-3023	55	14	0	0	NUM
iajs-3023	56	1	+	+	CCONJ
iajs-3023	56	2	∑	∑	PROPN
iajs-3023	56	3	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	56	4	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	NOUN
iajs-3023	56	5	𝑖−1𝑙	𝑖−1𝑙	VERB
iajs-3023	56	6	𝑖=2	𝑖=2	PROPN
iajs-3023	56	7	where	where	SCONJ
iajs-3023	56	8	𝑓	𝑓	X
iajs-3023	56	9	,	,	PUNCT
iajs-3023	56	10	𝑔	𝑔	NOUN
iajs-3023	56	11	:	:	PUNCT
iajs-3023	56	12	𝐻	𝐻	PROPN
iajs-3023	56	13	→	→	SYM
iajs-3023	56	14	𝑆	𝑆	PROPN
iajs-3023	56	15	is	be	AUX
iajs-3023	56	16	nonexpansive	nonexpansive	ADJ
iajs-3023	56	17	𝑥𝑛+1	𝑥𝑛+1	X
iajs-3023	56	18	=	=	SYM
iajs-3023	56	19	𝘘𝑛𝑃𝑟𝑜𝛹𝑥	𝘘𝑛𝑃𝑟𝑜𝛹𝑥	NOUN
iajs-3023	56	20	+	+	CCONJ
iajs-3023	56	21	(	(	PUNCT
iajs-3023	56	22	1	1	NUM
iajs-3023	56	23	−	−	NOUN
iajs-3023	56	24	𝘘𝑛)𝑦𝑛	𝘘𝑛)𝑦𝑛	PROPN
iajs-3023	56	25	𝑚	𝑚	NOUN
iajs-3023	56	26	,	,	PUNCT
iajs-3023	56	27	𝑛	𝑛	PROPN
iajs-3023	56	28	,	,	PUNCT
iajs-3023	56	29	𝑚	𝑚	X
iajs-3023	56	30	≥	≥	NOUN
iajs-3023	56	31	0	0	NUM
iajs-3023	56	32	is	be	AUX
iajs-3023	56	33	s	s	NOUN
iajs-3023	56	34	-	-	PUNCT
iajs-3023	56	35	converges	converge	NOUN
iajs-3023	56	36	to	to	ADP
iajs-3023	56	37	𝑃𝑟𝑜𝛹𝑥	𝑃𝑟𝑜𝛹𝑥	PROPN
iajs-3023	56	38	.	.	PUNCT
iajs-3023	57	1	proof	proof	NOUN
iajs-3023	57	2	:	:	PUNCT
iajs-3023	57	3	let	let	VERB
iajs-3023	57	4	𝑒	𝑒	PROPN
iajs-3023	57	5	∈	∈	NOUN
iajs-3023	57	6	𝑆.	𝑆.	PROPN
iajs-3023	57	7	then	then	ADV
iajs-3023	57	8	we	we	PRON
iajs-3023	57	9	have	have	VERB
iajs-3023	57	10	‖𝑥𝑛+1	‖𝑥𝑛+1	ADP
iajs-3023	57	11	−	−	VERB
iajs-3023	57	12	𝑒‖	𝑒‖	NOUN
iajs-3023	57	13	=	=	PUNCT
iajs-3023	57	14	‖𝘘𝑛𝑃𝑟𝑜𝛹𝑥	‖𝘘𝑛𝑃𝑟𝑜𝛹𝑥	PROPN
iajs-3023	57	15	+	+	SYM
iajs-3023	57	16	(	(	PUNCT
iajs-3023	57	17	1	1	NUM
iajs-3023	57	18	−	−	NOUN
iajs-3023	57	19	𝘘𝑛)𝑦𝑛	𝘘𝑛)𝑦𝑛	X
iajs-3023	57	20	𝑚	𝑚	ADP
iajs-3023	57	21	−	−	NOUN
iajs-3023	57	22	𝑒‖	𝑒‖	NOUN
iajs-3023	57	23	=	=	SYM
iajs-3023	57	24	‖𝘘𝑛𝑃𝑟𝑜𝛹𝑥	‖𝘘𝑛𝑃𝑟𝑜𝛹𝑥	PROPN
iajs-3023	57	25	+	+	SYM
iajs-3023	57	26	(	(	PUNCT
iajs-3023	57	27	1	1	NUM
iajs-3023	57	28	−	−	NOUN
iajs-3023	57	29	𝘘𝑛)𝑦𝑛	𝘘𝑛)𝑦𝑛	NOUN
iajs-3023	57	30	𝑚	𝑚	ADP
iajs-3023	57	31	−	−	PROPN
iajs-3023	58	1	[	[	X
iajs-3023	58	2	(	(	PUNCT
iajs-3023	58	3	1	1	NUM
iajs-3023	58	4	−	−	PRON
iajs-3023	58	5	𝘘𝑛)𝑒	𝘘𝑛)𝑒	ADV
iajs-3023	58	6	+	+	PUNCT
iajs-3023	58	7	𝘘𝑛𝑒]‖	𝘘𝑛𝑒]‖	NOUN
iajs-3023	58	8	≤	≤	NOUN
iajs-3023	58	9	𝘘𝑛‖𝑃𝑟𝑜𝛹𝑥	𝘘𝑛‖𝑃𝑟𝑜𝛹𝑥	NOUN
iajs-3023	58	10	−	−	PROPN
iajs-3023	58	11	𝑒‖	𝑒‖	PROPN
iajs-3023	58	12	+	+	CCONJ
iajs-3023	58	13	(	(	PUNCT
iajs-3023	58	14	1	1	NUM
iajs-3023	58	15	−	−	NOUN
iajs-3023	58	16	𝘘𝑛)‖𝑦𝑛	𝘘𝑛)‖𝑦𝑛	NOUN
iajs-3023	58	17	𝑚	𝑚	ADP
iajs-3023	58	18	−	−	PROPN
iajs-3023	58	19	𝑒‖	𝑒‖	ADJ
iajs-3023	58	20	≤	≤	NOUN
iajs-3023	58	21	𝘘𝑛‖𝑥	𝘘𝑛‖𝑥	NOUN
iajs-3023	58	22	−	−	PROPN
iajs-3023	58	23	𝑒‖	𝑒‖	PROPN
iajs-3023	58	24	+	+	CCONJ
iajs-3023	58	25	(	(	PUNCT
iajs-3023	58	26	1	1	NUM
iajs-3023	58	27	−	−	NOUN
iajs-3023	58	28	𝘘𝑛)‖𝑦𝑛	𝘘𝑛)‖𝑦𝑛	NOUN
iajs-3023	58	29	𝑚	𝑚	ADP
iajs-3023	58	30	−	−	PROPN
iajs-3023	58	31	𝑒‖	𝑒‖	PROPN
iajs-3023	58	32	(	(	PUNCT
iajs-3023	58	33	2.1	2.1	NUM
iajs-3023	58	34	)	)	PUNCT
iajs-3023	58	35	‖𝑦𝑛	‖𝑦𝑛	NUM
iajs-3023	58	36	𝑚	𝑚	ADP
iajs-3023	58	37	−	−	NOUN
iajs-3023	58	38	𝑒‖	𝑒‖	NOUN
iajs-3023	58	39	=	=	SYM
iajs-3023	58	40	‖𝘙𝑛1	‖𝘙𝑛1	X
iajs-3023	58	41	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	58	42	0	0	NUM
iajs-3023	59	1	+	+	CCONJ
iajs-3023	59	2	∑	∑	PROPN
iajs-3023	59	3	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	59	4	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	NOUN
iajs-3023	59	5	𝑖−1	𝑖−1	X
iajs-3023	60	1	𝑙	𝑙	X
iajs-3023	60	2	𝑖=2	𝑖=2	PROPN
iajs-3023	60	3	−	−	PROPN
iajs-3023	60	4	𝑒‖	𝑒‖	ADJ
iajs-3023	60	5	ihjpas	ihjpas	PROPN
iajs-3023	60	6	.	.	PUNCT
iajs-3023	61	1	36(2)2023	36(2)2023	NUM
iajs-3023	61	2	369	369	NUM
iajs-3023	62	1	=	=	SYM
iajs-3023	62	2	‖𝘙𝑛1	‖𝘙𝑛1	X
iajs-3023	62	3	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	62	4	0	0	NUM
iajs-3023	63	1	+	+	CCONJ
iajs-3023	63	2	∑	∑	PROPN
iajs-3023	63	3	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	63	4	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	NOUN
iajs-3023	63	5	𝑖−1𝑙	𝑖−1𝑙	PRON
iajs-3023	63	6	𝑖=2	𝑖=2	PUNCT
iajs-3023	63	7	−	−	PROPN
iajs-3023	64	1	[	[	X
iajs-3023	64	2	𝘙𝑛1	𝘙𝑛1	X
iajs-3023	64	3	𝑒	𝑒	ADP
iajs-3023	64	4	+	+	X
iajs-3023	64	5	∑	∑	PROPN
iajs-3023	64	6	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	64	7	𝑒𝑚	𝑒𝑚	ADP
iajs-3023	64	8	𝑖=1	𝑖=1	PROPN
iajs-3023	64	9	]	]	X
iajs-3023	64	10	‖	‖	PROPN
iajs-3023	64	11	=	=	SYM
iajs-3023	64	12	‖(𝘙𝑛1	‖(𝘙𝑛1	NOUN
iajs-3023	64	13	)	)	PUNCT
iajs-3023	64	14	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	64	15	0	0	NUM
iajs-3023	65	1	+	+	CCONJ
iajs-3023	65	2	∑	∑	PROPN
iajs-3023	65	3	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	65	4	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	NOUN
iajs-3023	65	5	𝑖−1	𝑖−1	X
iajs-3023	65	6	𝑙	𝑙	X
iajs-3023	65	7	𝑖=2	𝑖=2	PUNCT
iajs-3023	65	8	−	−	PROPN
iajs-3023	66	1	[	[	X
iajs-3023	66	2	𝘙𝑛1	𝘙𝑛1	X
iajs-3023	66	3	𝑒	𝑒	ADP
iajs-3023	66	4	+	+	X
iajs-3023	66	5	∑	∑	PROPN
iajs-3023	66	6	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	66	7	𝑒	𝑒	ADP
iajs-3023	66	8	𝑚	𝑚	PROPN
iajs-3023	66	9	𝑖=2	𝑖=2	PROPN
iajs-3023	66	10	]	]	PUNCT
iajs-3023	66	11	‖	‖	PROPN
iajs-3023	66	12	≤	≤	NOUN
iajs-3023	66	13	(	(	PUNCT
iajs-3023	66	14	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	66	15	)	)	PUNCT
iajs-3023	66	16	‖𝑦𝑛	‖𝑦𝑛	NUM
iajs-3023	66	17	𝑜	𝑜	NOUN
iajs-3023	66	18	−	−	NOUN
iajs-3023	66	19	𝑒‖	𝑒‖	ADP
iajs-3023	66	20	+	+	CCONJ
iajs-3023	66	21	∑	∑	PROPN
iajs-3023	66	22	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	66	23	𝑙	𝑙	X
iajs-3023	66	24	𝑖=2	𝑖=2	PUNCT
iajs-3023	66	25	‖	‖	ADJ
iajs-3023	66	26	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	66	27	𝑖−1	𝑖−1	NOUN
iajs-3023	66	28	−	−	PROPN
iajs-3023	66	29	𝑒‖	𝑒‖	ADJ
iajs-3023	66	30	≤	≤	X
iajs-3023	66	31	∑	∑	PUNCT
iajs-3023	66	32	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	66	33	𝑙	𝑙	X
iajs-3023	66	34	𝑖=1	𝑖=1	PROPN
iajs-3023	66	35	‖	‖	ADJ
iajs-3023	66	36	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	67	1	𝑖−1	𝑖−1	NOUN
iajs-3023	67	2	−	−	PROPN
iajs-3023	67	3	𝑒‖	𝑒‖	ADV
iajs-3023	67	4	≤	≤	ADV
iajs-3023	67	5	‖	‖	ADJ
iajs-3023	67	6	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	67	7	𝑖−1	𝑖−1	NOUN
iajs-3023	67	8	−	−	PROPN
iajs-3023	67	9	𝑒‖	𝑒‖	PROPN
iajs-3023	67	10	=	=	SYM
iajs-3023	67	11	‖	‖	PROPN
iajs-3023	67	12	𝘚𝑛𝑖𝑓(𝑥𝑛	𝘚𝑛𝑖𝑓(𝑥𝑛	X
iajs-3023	67	13	)	)	PUNCT
iajs-3023	68	1	+	+	CCONJ
iajs-3023	68	2	(	(	PUNCT
iajs-3023	68	3	1	1	NUM
iajs-3023	68	4	−	−	PROPN
iajs-3023	68	5	𝘚𝑛𝑖	𝘚𝑛𝑖	PROPN
iajs-3023	68	6	)	)	PUNCT
iajs-3023	68	7	𝑔(𝑥𝑛	𝑔(𝑥𝑛	NUM
iajs-3023	68	8	)	)	PUNCT
iajs-3023	68	9	−	−	NOUN
iajs-3023	68	10	𝑒‖	𝑒‖	ADJ
iajs-3023	68	11	≤	≤	ADJ
iajs-3023	68	12	‖𝘚𝑛𝑖𝑓(𝑥𝑛	‖𝘚𝑛𝑖𝑓(𝑥𝑛	NOUN
iajs-3023	68	13	)	)	PUNCT
iajs-3023	68	14	−	−	ADP
iajs-3023	69	1	𝑒‖	𝑒‖	PROPN
iajs-3023	69	2	+	+	CCONJ
iajs-3023	69	3	𝑘(1	𝑘(1	PROPN
iajs-3023	69	4	−	−	PROPN
iajs-3023	69	5	𝘚𝑛𝑖)‖	𝘚𝑛𝑖)‖	PUNCT
iajs-3023	69	6	𝑔(𝑥𝑛	𝑔(𝑥𝑛	NUM
iajs-3023	69	7	)	)	PUNCT
iajs-3023	69	8	−	−	ADP
iajs-3023	69	9	𝑒‖	𝑒‖	ADJ
iajs-3023	69	10	≤	≤	PUNCT
iajs-3023	69	11	𝘚𝑛𝑖	𝘚𝑛𝑖	PROPN
iajs-3023	69	12	‖𝑥𝑛	‖𝑥𝑛	NUM
iajs-3023	69	13	−	−	NOUN
iajs-3023	69	14	𝑒‖	𝑒‖	PROPN
iajs-3023	69	15	+	+	CCONJ
iajs-3023	69	16	(	(	PUNCT
iajs-3023	69	17	1	1	NUM
iajs-3023	69	18	−	−	PROPN
iajs-3023	69	19	𝘚𝑛𝑖)‖	𝘚𝑛𝑖)‖	PUNCT
iajs-3023	69	20	𝑥𝑛	𝑥𝑛	VERB
iajs-3023	69	21	−	−	NOUN
iajs-3023	69	22	𝑒‖	𝑒‖	ADJ
iajs-3023	69	23	≤	≤	ADV
iajs-3023	69	24	‖	‖	PROPN
iajs-3023	69	25	𝑥𝑛	𝑥𝑛	PROPN
iajs-3023	69	26	−	−	PROPN
iajs-3023	69	27	𝑝‖	𝑝‖	NOUN
iajs-3023	69	28	(	(	PUNCT
iajs-3023	69	29	2.2	2.2	NUM
iajs-3023	69	30	)	)	PUNCT
iajs-3023	69	31	from	from	ADP
iajs-3023	69	32	(	(	PUNCT
iajs-3023	69	33	2.1	2.1	NUM
iajs-3023	69	34	)	)	PUNCT
iajs-3023	69	35	and	and	CCONJ
iajs-3023	69	36	(	(	PUNCT
iajs-3023	69	37	2.2	2.2	NUM
iajs-3023	69	38	)	)	PUNCT
iajs-3023	69	39	.	.	PUNCT
iajs-3023	70	1	we	we	PRON
iajs-3023	70	2	get	get	VERB
iajs-3023	70	3	‖𝑥𝑛+1	‖𝑥𝑛+1	ADP
iajs-3023	70	4	−	−	NOUN
iajs-3023	70	5	𝑒‖	𝑒‖	ADJ
iajs-3023	70	6	≤	≤	ADJ
iajs-3023	70	7	𝘘𝑛‖𝑃𝑟𝑜𝛹𝑥	𝘘𝑛‖𝑃𝑟𝑜𝛹𝑥	PROPN
iajs-3023	70	8	−	−	PROPN
iajs-3023	70	9	𝑒‖	𝑒‖	PROPN
iajs-3023	70	10	+	+	CCONJ
iajs-3023	70	11	(	(	PUNCT
iajs-3023	70	12	1	1	NUM
iajs-3023	70	13	−	−	PROPN
iajs-3023	70	14	𝘘𝑛	𝘘𝑛	PROPN
iajs-3023	70	15	)	)	PUNCT
iajs-3023	70	16	‖	‖	PROPN
iajs-3023	70	17	𝑥𝑛	𝑥𝑛	PROPN
iajs-3023	70	18	−	−	NOUN
iajs-3023	70	19	𝑒‖	𝑒‖	ADJ
iajs-3023	70	20	≤	≤	PUNCT
iajs-3023	70	21	max{‖𝑥	max{‖𝑥	NOUN
iajs-3023	70	22	−	−	NOUN
iajs-3023	70	23	𝑒‖	𝑒‖	ADJ
iajs-3023	70	24	,	,	PUNCT
iajs-3023	70	25	‖	‖	PROPN
iajs-3023	70	26	𝑥𝑛	𝑥𝑛	PROPN
iajs-3023	70	27	−	−	NOUN
iajs-3023	70	28	𝑒‖	𝑒‖	ADP
iajs-3023	70	29	}	}	PUNCT
iajs-3023	70	30	.	.	PUNCT
iajs-3023	70	31	.	.	PUNCT
iajs-3023	71	1	≤	≤	NUM
iajs-3023	71	2	max{‖𝑥	max{‖𝑥	VERB
iajs-3023	71	3	−	−	NOUN
iajs-3023	71	4	𝑒‖	𝑒‖	ADJ
iajs-3023	71	5	,	,	PUNCT
iajs-3023	71	6	‖𝑥0	‖𝑥0	NOUN
iajs-3023	71	7	−	−	PUNCT
iajs-3023	71	8	𝑒‖	𝑒‖	NOUN
iajs-3023	71	9	}	}	PUNCT
iajs-3023	71	10	hence	hence	ADV
iajs-3023	71	11	,	,	PUNCT
iajs-3023	71	12	{	{	PUNCT
iajs-3023	71	13	𝑥𝑛}𝑛=1	𝑥𝑛}𝑛=1	ADP
iajs-3023	71	14	∞	∞	PROPN
iajs-3023	71	15	is	be	AUX
iajs-3023	71	16	bounded	bound	VERB
iajs-3023	71	17	.	.	PUNCT
iajs-3023	72	1	so	so	ADV
iajs-3023	72	2	{	{	PUNCT
iajs-3023	72	3	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	72	4	𝑚}𝑛=1	𝑚}𝑛=1	SYM
iajs-3023	72	5	∞	∞	NUM
iajs-3023	72	6	and	and	CCONJ
iajs-3023	72	7	{	{	PUNCT
iajs-3023	72	8	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	72	9	𝑖	𝑖	NUM
iajs-3023	72	10	}	}	PUNCT
iajs-3023	72	11	𝑛=1	𝑛=1	NOUN
iajs-3023	72	12	∞	∞	PROPN
iajs-3023	72	13	is	be	AUX
iajs-3023	72	14	bounded	bound	VERB
iajs-3023	72	15	.	.	PUNCT
iajs-3023	73	1	now	now	ADV
iajs-3023	73	2	,	,	PUNCT
iajs-3023	73	3	‖𝑦𝑛+1	‖𝑦𝑛+1	PROPN
iajs-3023	74	1	𝑖	𝑖	SYM
iajs-3023	74	2	−	−	NOUN
iajs-3023	74	3	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	74	4	𝑖	𝑖	PUNCT
iajs-3023	74	5	‖	‖	NOUN
iajs-3023	74	6	∀	∀	NOUN
iajs-3023	74	7	𝑖	𝑖	NOUN
iajs-3023	74	8	=	=	SYM
iajs-3023	74	9	1,2	1,2	NUM
iajs-3023	74	10	,	,	PUNCT
iajs-3023	74	11	…	…	PUNCT
iajs-3023	74	12	𝑙	𝑙	X
iajs-3023	74	13	.	.	PUNCT
iajs-3023	74	14	‖𝑦𝑛+1	‖𝑦𝑛+1	PUNCT
iajs-3023	75	1	𝑚	𝑚	DET
iajs-3023	75	2	−	−	NOUN
iajs-3023	75	3	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	75	4	𝑚‖	𝑚‖	NOUN
iajs-3023	75	5	=	=	SYM
iajs-3023	75	6	‖𝘙𝑛1	‖𝘙𝑛1	PROPN
iajs-3023	75	7	+	+	ADJ
iajs-3023	75	8	1	1	NUM
iajs-3023	75	9	𝑦𝑛+1	𝑦𝑛+1	NUM
iajs-3023	75	10	0	0	NUM
iajs-3023	76	1	+	+	CCONJ
iajs-3023	76	2	∑	∑	PROPN
iajs-3023	76	3	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	76	4	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	76	5	𝑖−1𝑙	𝑖−1𝑙	PUNCT
iajs-3023	76	6	𝑖=2	𝑖=2	PROPN
iajs-3023	76	7	−	−	NOUN
iajs-3023	76	8	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	76	9	𝑦𝑛	𝑦𝑛	VERB
iajs-3023	76	10	𝑜	𝑜	NOUN
iajs-3023	76	11	−	−	NOUN
iajs-3023	76	12	∑	∑	PUNCT
iajs-3023	76	13	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	76	14	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	NOUN
iajs-3023	76	15	𝑖−1𝑙	𝑖−1𝑙	VERB
iajs-3023	76	16	𝑖=2	𝑖=2	PROPN
iajs-3023	76	17	‖	‖	PROPN
iajs-3023	76	18	=	=	SYM
iajs-3023	76	19	‖	‖	PROPN
iajs-3023	76	20	‖	‖	PROPN
iajs-3023	76	21	𝘙𝑛1	𝘙𝑛1	X
iajs-3023	76	22	+	+	PROPN
iajs-3023	76	23	1𝑦𝑛+1	1𝑦𝑛+1	NUM
iajs-3023	76	24	0	0	NUM
iajs-3023	76	25	−	−	NOUN
iajs-3023	76	26	𝘙𝑛1	𝘙𝑛1	VERB
iajs-3023	77	1	+	+	NOUN
iajs-3023	77	2	1𝑦𝑛	1𝑦𝑛	ADJ
iajs-3023	77	3	0	0	PUNCT
iajs-3023	78	1	+	+	NUM
iajs-3023	78	2	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	78	3	+	+	ADJ
iajs-3023	78	4	1𝑦𝑛	1𝑦𝑛	ADJ
iajs-3023	78	5	0	0	PUNCT
iajs-3023	79	1	+	+	CCONJ
iajs-3023	79	2	∑	∑	NOUN
iajs-3023	79	3	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	79	4	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	79	5	𝑖−1	𝑖−1	PUNCT
iajs-3023	80	1	𝑙	𝑙	PROPN
iajs-3023	80	2	𝑖=2	𝑖=2	PROPN
iajs-3023	80	3	−	−	PROPN
iajs-3023	80	4	∑	∑	ADV
iajs-3023	80	5	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	80	6	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	80	7	𝑖−1	𝑖−1	X
iajs-3023	81	1	𝑙	𝑙	X
iajs-3023	81	2	𝑖=2	𝑖=2	PROPN
iajs-3023	81	3	+	+	ADJ
iajs-3023	81	4	∑	∑	PROPN
iajs-3023	81	5	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	81	6	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	NOUN
iajs-3023	81	7	𝑖−1	𝑖−1	X
iajs-3023	81	8	𝑙	𝑙	X
iajs-3023	81	9	𝑖=2	𝑖=2	PROPN
iajs-3023	81	10	−	−	PROPN
iajs-3023	81	11	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	81	12	𝑦𝑛	𝑦𝑛	VERB
iajs-3023	81	13	0	0	NUM
iajs-3023	82	1	−	−	NUM
iajs-3023	82	2	∑	∑	PROPN
iajs-3023	83	1	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	83	2	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	83	3	𝑖−1	𝑖−1	X
iajs-3023	83	4	𝑙	𝑙	X
iajs-3023	83	5	𝑖=2	𝑖=2	PROPN
iajs-3023	83	6	‖	‖	PROPN
iajs-3023	83	7	‖	‖	PROPN
iajs-3023	83	8	≤	≤	PROPN
iajs-3023	83	9	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	83	10	+	+	PROPN
iajs-3023	83	11	1‖𝑦𝑛+1	1‖𝑦𝑛+1	NUM
iajs-3023	83	12	0	0	NUM
iajs-3023	84	1	−	−	NOUN
iajs-3023	84	2	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	84	3	0‖	0‖	PUNCT
iajs-3023	85	1	+	+	PUNCT
iajs-3023	85	2	|𝘙𝑛1	|𝘙𝑛1	VERB
iajs-3023	85	3	+	+	NOUN
iajs-3023	85	4	1	1	NUM
iajs-3023	85	5	−	−	NOUN
iajs-3023	85	6	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	85	7	|(‖𝑦𝑛	|(‖𝑦𝑛	VERB
iajs-3023	85	8	0‖	0‖	PUNCT
iajs-3023	85	9	)	)	PUNCT
iajs-3023	86	1	+	+	CCONJ
iajs-3023	86	2	∑	∑	PUNCT
iajs-3023	86	3	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	86	4	𝑙	𝑙	X
iajs-3023	86	5	𝑖=2	𝑖=2	PROPN
iajs-3023	86	6	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	86	7	𝑖−1	𝑖−1	PUNCT
iajs-3023	86	8	−	−	PROPN
iajs-3023	86	9	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	86	10	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	87	1	+	+	NOUN
iajs-3023	87	2	∑	∑	PROPN
iajs-3023	87	3	𝑙	𝑙	PART
iajs-3023	87	4	𝑖=2	𝑖=2	PROPN
iajs-3023	87	5	|	|	NOUN
iajs-3023	87	6	(	(	PUNCT
iajs-3023	87	7	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	87	8	−	−	PROPN
iajs-3023	87	9	𝘙	𝘙	PROPN
iajs-3023	87	10	𝑛𝑖+1)|‖𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑛𝑖+1)|‖𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	87	11	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	87	12	≤	≤	NOUN
iajs-3023	87	13	𝘙𝑛1	𝘙𝑛1	VERB
iajs-3023	87	14	+	+	PROPN
iajs-3023	87	15	1‖𝑦𝑛+1	1‖𝑦𝑛+1	NUM
iajs-3023	87	16	0	0	NUM
iajs-3023	88	1	−	−	NOUN
iajs-3023	88	2	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	89	1	0‖	0‖	X
iajs-3023	90	1	+	+	CCONJ
iajs-3023	90	2	(	(	PUNCT
iajs-3023	90	3	∑	∑	PART
iajs-3023	90	4	𝑙	𝑙	PART
iajs-3023	90	5	𝑖=2	𝑖=2	ADJ
iajs-3023	90	6	|	|	NOUN
iajs-3023	90	7	(	(	PUNCT
iajs-3023	90	8	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	90	9	−	−	PROPN
iajs-3023	90	10	𝘙𝑛𝑖+1)|‖𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝘙𝑛𝑖+1)|‖𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	90	11	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	90	12	+	+	CCONJ
iajs-3023	90	13	|𝘙𝑛1	|𝘙𝑛1	VERB
iajs-3023	90	14	+	+	NOUN
iajs-3023	90	15	1	1	NUM
iajs-3023	90	16	−	−	NOUN
iajs-3023	90	17	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	90	18	|(‖𝑦𝑛	|(‖𝑦𝑛	X
iajs-3023	90	19	0‖	0‖	NUM
iajs-3023	90	20	)	)	PUNCT
iajs-3023	90	21	)	)	PUNCT
iajs-3023	91	1	+	+	CCONJ
iajs-3023	91	2	∑	∑	PUNCT
iajs-3023	91	3	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	91	4	𝑙	𝑙	X
iajs-3023	91	5	𝑖=2	𝑖=2	PROPN
iajs-3023	91	6	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	91	7	𝑖−1	𝑖−1	PUNCT
iajs-3023	91	8	−	−	PROPN
iajs-3023	91	9	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	91	10	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	91	11	≤	≤	NOUN
iajs-3023	91	12	𝘙𝑛1	𝘙𝑛1	VERB
iajs-3023	91	13	+	+	PROPN
iajs-3023	91	14	1‖𝑦𝑛+1	1‖𝑦𝑛+1	NUM
iajs-3023	91	15	0	0	NUM
iajs-3023	92	1	−	−	NOUN
iajs-3023	92	2	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	93	1	0‖	0‖	X
iajs-3023	94	1	+	+	CCONJ
iajs-3023	94	2	(	(	PUNCT
iajs-3023	94	3	(	(	PUNCT
iajs-3023	94	4	∑	∑	PART
iajs-3023	94	5	𝑙	𝑙	PART
iajs-3023	94	6	𝑖=2	𝑖=2	ADJ
iajs-3023	94	7	|	|	NOUN
iajs-3023	94	8	(	(	PUNCT
iajs-3023	94	9	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	94	10	−	−	PROPN
iajs-3023	94	11	𝘙𝑛𝑖+1)|	𝘙𝑛𝑖+1)|	NOUN
iajs-3023	94	12	+	+	CCONJ
iajs-3023	94	13	|𝘙𝑛0	|𝘙𝑛0	ADJ
iajs-3023	94	14	+	+	ADJ
iajs-3023	94	15	1	1	NUM
iajs-3023	94	16	−	−	NOUN
iajs-3023	94	17	𝘙𝑛0	𝘙𝑛0	NOUN
iajs-3023	94	18	|	|	NOUN
iajs-3023	94	19	)	)	PUNCT
iajs-3023	94	20	𝐾	𝐾	NOUN
iajs-3023	94	21	)	)	PUNCT
iajs-3023	95	1	+	+	CCONJ
iajs-3023	95	2	∑	∑	PUNCT
iajs-3023	95	3	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	95	4	𝑙	𝑙	X
iajs-3023	95	5	𝑖=2	𝑖=2	PROPN
iajs-3023	95	6	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	95	7	𝑖−1	𝑖−1	PUNCT
iajs-3023	95	8	−	−	PROPN
iajs-3023	96	1	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	96	2	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	96	3	ihjpas	ihjpa	VERB
iajs-3023	96	4	.	.	PUNCT
iajs-3023	97	1	36(2)2023	36(2)2023	NUM
iajs-3023	97	2	370	370	NUM
iajs-3023	97	3	≤	≤	NUM
iajs-3023	97	4	𝘙𝑛1	𝘙𝑛1	VERB
iajs-3023	97	5	+	+	ADP
iajs-3023	97	6	1k	1k	X
iajs-3023	97	7	+	+	CCONJ
iajs-3023	97	8	(	(	PUNCT
iajs-3023	97	9	(	(	PUNCT
iajs-3023	97	10	∑	∑	PART
iajs-3023	97	11	𝑙	𝑙	PROPN
iajs-3023	97	12	𝑖=1	𝑖=1	PROPN
iajs-3023	98	1	|	|	ADV
iajs-3023	98	2	(	(	PUNCT
iajs-3023	98	3	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	98	4	−	−	PROPN
iajs-3023	98	5	𝘙𝑛𝑖+1)|	𝘙𝑛𝑖+1)|	NOUN
iajs-3023	98	6	+	+	CCONJ
iajs-3023	98	7	|𝘙𝑛1	|𝘙𝑛1	VERB
iajs-3023	98	8	+	+	NOUN
iajs-3023	98	9	1	1	NUM
iajs-3023	98	10	−	−	NOUN
iajs-3023	98	11	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	98	12	|	|	NOUN
iajs-3023	98	13	)	)	PUNCT
iajs-3023	98	14	𝐾	𝐾	NOUN
iajs-3023	98	15	)	)	PUNCT
iajs-3023	99	1	+	+	CCONJ
iajs-3023	99	2	∑	∑	PUNCT
iajs-3023	99	3	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	99	4	𝑙	𝑙	X
iajs-3023	99	5	𝑖=2	𝑖=2	PROPN
iajs-3023	99	6	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	99	7	𝑖−1	𝑖−1	PUNCT
iajs-3023	99	8	−	−	PROPN
iajs-3023	100	1	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	100	2	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	100	3	𝐾	𝐾	PROPN
iajs-3023	100	4	=	=	SYM
iajs-3023	100	5	𝑚𝑎𝑥{‖𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑚𝑎𝑥{‖𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	100	6	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	100	7	,	,	PUNCT
iajs-3023	100	8	‖𝑦𝑛	‖𝑦𝑛	NUM
iajs-3023	100	9	0‖	0‖	NUM
iajs-3023	100	10	,	,	PUNCT
iajs-3023	100	11	‖𝑦𝑛+1	‖𝑦𝑛+1	PROPN
iajs-3023	100	12	0	0	NUM
iajs-3023	100	13	−	−	NOUN
iajs-3023	100	14	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	100	15	0‖	0‖	ADP
iajs-3023	100	16	}	}	PUNCT
iajs-3023	100	17	next	next	ADV
iajs-3023	100	18	,	,	PUNCT
iajs-3023	100	19	to	to	PART
iajs-3023	100	20	find	find	VERB
iajs-3023	100	21	,	,	PUNCT
iajs-3023	100	22	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	ADJ
iajs-3023	100	23	𝑖−1	𝑖−1	PUNCT
iajs-3023	100	24	−	−	PROPN
iajs-3023	101	1	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	101	2	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	101	3	for	for	ADP
iajs-3023	101	4	𝜉𝑛+1	𝜉𝑛+1	PROPN
iajs-3023	101	5	𝑖	𝑖	PRON
iajs-3023	101	6	≥	≥	NOUN
iajs-3023	101	7	𝜉𝑛	𝜉𝑛	NUM
iajs-3023	101	8	𝑖	𝑖	X
iajs-3023	101	9	,	,	PUNCT
iajs-3023	101	10	we	we	PRON
iajs-3023	101	11	have	have	VERB
iajs-3023	101	12	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	101	13	𝑖−1	𝑖−1	PUNCT
iajs-3023	102	1	−	−	PROPN
iajs-3023	103	1	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	103	2	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	103	3	=	=	SYM
iajs-3023	103	4	‖𝑅𝑒𝑠𝑖,𝑛	‖𝑅𝑒𝑠𝑖,𝑛	PROPN
iajs-3023	103	5	(	(	PUNCT
iajs-3023	103	6	𝜉𝑛	𝜉𝑛	X
iajs-3023	103	7	𝑖	𝑖	PART
iajs-3023	103	8	𝜉𝑛+1	𝜉𝑛+1	NOUN
iajs-3023	103	9	𝑖	𝑖	PRON
iajs-3023	103	10	𝑦𝑛+1	𝑦𝑛+1	NOUN
iajs-3023	103	11	𝑖−1	𝑖−1	X
iajs-3023	104	1	+	+	CCONJ
iajs-3023	104	2	(	(	PUNCT
iajs-3023	104	3	1	1	NUM
iajs-3023	104	4	−	−	NOUN
iajs-3023	104	5	𝜉𝑛	𝜉𝑛	ADP
iajs-3023	104	6	𝑖	𝑖	PRON
iajs-3023	104	7	𝜉𝑛+1	𝜉𝑛+1	ADJ
iajs-3023	104	8	𝑖	𝑖	SYM
iajs-3023	104	9	)	)	PUNCT
iajs-3023	104	10	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	104	11	𝑖−1	𝑖−1	PUNCT
iajs-3023	104	12	)	)	PUNCT
iajs-3023	105	1	−	−	ADP
iajs-3023	106	1	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	106	2	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	106	3	≤	≤	NUM
iajs-3023	106	4	‖	‖	PROPN
iajs-3023	106	5	𝜉𝑛	𝜉𝑛	X
iajs-3023	106	6	𝑖	𝑖	PART
iajs-3023	106	7	𝜉𝑛+1	𝜉𝑛+1	NOUN
iajs-3023	106	8	𝑖	𝑖	PRON
iajs-3023	106	9	𝑦𝑛+1	𝑦𝑛+1	NOUN
iajs-3023	106	10	𝑖−1	𝑖−1	X
iajs-3023	107	1	+	+	CCONJ
iajs-3023	107	2	(	(	PUNCT
iajs-3023	107	3	1	1	NUM
iajs-3023	107	4	−	−	NOUN
iajs-3023	107	5	𝜉𝑛	𝜉𝑛	ADP
iajs-3023	107	6	𝑖	𝑖	PRON
iajs-3023	107	7	𝜉𝑛+1	𝜉𝑛+1	ADJ
iajs-3023	107	8	𝑖	𝑖	SYM
iajs-3023	107	9	)	)	PUNCT
iajs-3023	107	10	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	107	11	𝑖−1	𝑖−1	PUNCT
iajs-3023	108	1	−	−	PROPN
iajs-3023	108	2	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	108	3	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	109	1	=	=	PUNCT
iajs-3023	109	2	‖	‖	PROPN
iajs-3023	109	3	𝜉𝑛	𝜉𝑛	X
iajs-3023	109	4	𝑖	𝑖	PRON
iajs-3023	109	5	𝜉𝑛+1	𝜉𝑛+1	NOUN
iajs-3023	109	6	𝑖	𝑖	PRON
iajs-3023	109	7	𝑦𝑛+1	𝑦𝑛+1	NOUN
iajs-3023	109	8	𝑖−1	𝑖−1	X
iajs-3023	110	1	+	+	CCONJ
iajs-3023	110	2	(	(	PUNCT
iajs-3023	110	3	1	1	NUM
iajs-3023	110	4	−	−	NOUN
iajs-3023	110	5	𝜉𝑛	𝜉𝑛	ADP
iajs-3023	110	6	𝑖	𝑖	PRON
iajs-3023	110	7	𝜉𝑛+1	𝜉𝑛+1	ADJ
iajs-3023	110	8	𝑖	𝑖	SYM
iajs-3023	110	9	)	)	PUNCT
iajs-3023	110	10	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	110	11	𝑖−1	𝑖−1	PUNCT
iajs-3023	111	1	−	−	PROPN
iajs-3023	111	2	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	111	3	𝑖	𝑖	SYM
iajs-3023	111	4	𝜉𝑛+1	𝜉𝑛+1	NOUN
iajs-3023	111	5	𝑖	𝑖	X
iajs-3023	111	6	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	112	1	𝑖−1	𝑖−1	X
iajs-3023	113	1	+	+	CCONJ
iajs-3023	113	2	(	(	PUNCT
iajs-3023	113	3	1	1	NUM
iajs-3023	113	4	−	−	NOUN
iajs-3023	113	5	𝜉𝑛	𝜉𝑛	ADP
iajs-3023	113	6	𝑖	𝑖	PRON
iajs-3023	113	7	𝜉𝑛+1	𝜉𝑛+1	PROPN
iajs-3023	113	8	𝑖	𝑖	X
iajs-3023	113	9	)	)	PUNCT
iajs-3023	113	10	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	114	1	𝑖−1	𝑖−1	PROPN
iajs-3023	114	2	‖	‖	PROPN
iajs-3023	114	3	=	=	SYM
iajs-3023	114	4	‖	‖	PROPN
iajs-3023	114	5	𝜉𝑛	𝜉𝑛	X
iajs-3023	114	6	𝑖	𝑖	PRON
iajs-3023	114	7	𝜉𝑛+1	𝜉𝑛+1	NOUN
iajs-3023	114	8	𝑖	𝑖	PRON
iajs-3023	114	9	𝑦𝑛+1	𝑦𝑛+1	PROPN
iajs-3023	114	10	𝑖−1	𝑖−1	X
iajs-3023	114	11	−	−	PROPN
iajs-3023	114	12	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	114	13	𝑖	𝑖	SYM
iajs-3023	114	14	𝜉𝑛+1	𝜉𝑛+1	NOUN
iajs-3023	114	15	𝑖	𝑖	X
iajs-3023	114	16	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	114	17	𝑖−1	𝑖−1	X
iajs-3023	115	1	+	+	CCONJ
iajs-3023	115	2	(	(	PUNCT
iajs-3023	115	3	1	1	NUM
iajs-3023	115	4	−	−	NOUN
iajs-3023	115	5	𝜉𝑛	𝜉𝑛	ADP
iajs-3023	115	6	𝑖	𝑖	PRON
iajs-3023	115	7	𝜉𝑛+1	𝜉𝑛+1	ADJ
iajs-3023	115	8	𝑖	𝑖	SYM
iajs-3023	115	9	)	)	PUNCT
iajs-3023	115	10	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	115	11	𝑖−1	𝑖−1	PUNCT
iajs-3023	116	1	+	+	CCONJ
iajs-3023	116	2	(	(	PUNCT
iajs-3023	116	3	1	1	NUM
iajs-3023	116	4	−	−	NOUN
iajs-3023	116	5	𝜉𝑛	𝜉𝑛	ADP
iajs-3023	116	6	𝑖	𝑖	PRON
iajs-3023	116	7	𝜉𝑛+1	𝜉𝑛+1	PROPN
iajs-3023	116	8	𝑖	𝑖	X
iajs-3023	116	9	)	)	PUNCT
iajs-3023	116	10	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	116	11	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	116	12	≤	≤	NOUN
iajs-3023	116	13	𝜉𝑛	𝜉𝑛	X
iajs-3023	116	14	𝑖	𝑖	ADP
iajs-3023	116	15	𝜉𝑛+1	𝜉𝑛+1	NOUN
iajs-3023	116	16	𝑖	𝑖	PRON
iajs-3023	116	17	‖𝑦𝑛+1	‖𝑦𝑛+1	PROPN
iajs-3023	117	1	𝑖−1	𝑖−1	NOUN
iajs-3023	117	2	−	−	PROPN
iajs-3023	117	3	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	117	4	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	118	1	+	+	NOUN
iajs-3023	118	2	|1	|1	NUM
iajs-3023	118	3	−	−	NOUN
iajs-3023	118	4	𝜉𝑛	𝜉𝑛	ADP
iajs-3023	118	5	𝑖	𝑖	PART
iajs-3023	118	6	𝜉𝑛+1	𝜉𝑛+1	PROPN
iajs-3023	118	7	𝑖	𝑖	X
iajs-3023	119	1	|	|	NOUN
iajs-3023	119	2	(	(	PUNCT
iajs-3023	119	3	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	INTJ
iajs-3023	119	4	𝑖−1	𝑖−1	X
iajs-3023	120	1	+	+	CCONJ
iajs-3023	120	2	𝑦𝑛+1	𝑦𝑛+1	PROPN
iajs-3023	120	3	𝑖−1	𝑖−1	PROPN
iajs-3023	120	4	)	)	PUNCT
iajs-3023	120	5	‖	‖	PROPN
iajs-3023	120	6	)	)	PUNCT
iajs-3023	120	7	≤	≤	NUM
iajs-3023	120	8	‖𝑦𝑛+1	‖𝑦𝑛+1	VERB
iajs-3023	121	1	𝑖−1	𝑖−1	NOUN
iajs-3023	121	2	−	−	PROPN
iajs-3023	121	3	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	121	4	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	122	1	+	+	NOUN
iajs-3023	122	2	|1	|1	NUM
iajs-3023	122	3	−	−	NOUN
iajs-3023	122	4	𝜉𝑛	𝜉𝑛	ADP
iajs-3023	122	5	𝑖	𝑖	PART
iajs-3023	122	6	𝜉𝑛+1	𝜉𝑛+1	PROPN
iajs-3023	122	7	𝑖	𝑖	X
iajs-3023	123	1	|	|	NOUN
iajs-3023	123	2	(	(	PUNCT
iajs-3023	123	3	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	INTJ
iajs-3023	123	4	𝑖−1	𝑖−1	X
iajs-3023	124	1	+	+	CCONJ
iajs-3023	124	2	𝑦𝑛+1	𝑦𝑛+1	NUM
iajs-3023	124	3	𝑖−1	𝑖−1	SYM
iajs-3023	124	4	‖	‖	NUM
iajs-3023	124	5	)	)	PUNCT
iajs-3023	124	6	≤	≤	NOUN
iajs-3023	124	7	‖𝑦𝑛+1	‖𝑦𝑛+1	VERB
iajs-3023	125	1	𝑖−1	𝑖−1	NOUN
iajs-3023	125	2	−	−	PROPN
iajs-3023	125	3	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	125	4	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	126	1	+	+	NOUN
iajs-3023	126	2	|1	|1	NUM
iajs-3023	126	3	−	−	NOUN
iajs-3023	126	4	𝜉𝑛	𝜉𝑛	ADP
iajs-3023	126	5	𝑖	𝑖	PART
iajs-3023	126	6	𝜉𝑛+1	𝜉𝑛+1	NOUN
iajs-3023	126	7	𝑖	𝑖	SYM
iajs-3023	126	8	|	|	ADV
iajs-3023	126	9	𝑆	𝑆	PROPN
iajs-3023	126	10	where	where	SCONJ
iajs-3023	126	11	𝑆	𝑆	PROPN
iajs-3023	126	12	=	=	SYM
iajs-3023	126	13	sup	sup	NOUN
iajs-3023	126	14	{	{	PUNCT
iajs-3023	126	15	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	‖𝑅𝑒𝑠𝑖,𝑛+1𝑦𝑛+1	NOUN
iajs-3023	126	16	𝑖−1	𝑖−1	PUNCT
iajs-3023	127	1	+	+	CCONJ
iajs-3023	127	2	𝑦𝑛+1	𝑦𝑛+1	PROPN
iajs-3023	127	3	𝑖−1	𝑖−1	PROPN
iajs-3023	127	4	‖	‖	PROPN
iajs-3023	127	5	,	,	PUNCT
iajs-3023	127	6	𝑛	𝑛	PRON
iajs-3023	127	7	≥	≥	NOUN
iajs-3023	127	8	0	0	NUM
iajs-3023	127	9	}	}	PUNCT
iajs-3023	127	10	≤	≤	NOUN
iajs-3023	127	11	‖𝑦𝑛+1	‖𝑦𝑛+1	VERB
iajs-3023	128	1	𝑖−1	𝑖−1	PUNCT
iajs-3023	128	2	−	−	PROPN
iajs-3023	128	3	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	129	1	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	130	1	+	+	PROPN
iajs-3023	130	2	|	|	ADV
iajs-3023	130	3	𝜉𝑛+1	𝜉𝑛+1	ADJ
iajs-3023	130	4	𝑖	𝑖	SYM
iajs-3023	130	5	−𝜉𝑛	−𝜉𝑛	X
iajs-3023	130	6	𝑖	𝑖	SYM
iajs-3023	130	7	𝜉𝑛+1	𝜉𝑛+1	NOUN
iajs-3023	130	8	𝑖	𝑖	ADP
iajs-3023	130	9	|	|	ADV
iajs-3023	130	10	𝑆	𝑆	PROPN
iajs-3023	130	11	≤	≤	NOUN
iajs-3023	130	12	‖𝑦𝑛+1	‖𝑦𝑛+1	PROPN
iajs-3023	131	1	𝑖−1	𝑖−1	PUNCT
iajs-3023	131	2	−	−	PROPN
iajs-3023	132	1	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	132	2	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	133	1	+	+	CCONJ
iajs-3023	133	2	𝑆	𝑆	PROPN
iajs-3023	133	3	𝜉𝑛+1	𝜉𝑛+1	NOUN
iajs-3023	133	4	𝑖	𝑖	SYM
iajs-3023	133	5	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	133	6	𝑖	𝑖	X
iajs-3023	133	7	−	−	NOUN
iajs-3023	133	8	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	133	9	𝑖	𝑖	SYM
iajs-3023	133	10	|	|	ADV
iajs-3023	133	11	≤	≤	ADJ
iajs-3023	133	12	‖𝑦𝑛+1	‖𝑦𝑛+1	NOUN
iajs-3023	134	1	𝑖−1	𝑖−1	PUNCT
iajs-3023	134	2	−	−	PROPN
iajs-3023	134	3	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	134	4	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	135	1	+	+	NUM
iajs-3023	135	2	𝑠	𝑠	PROPN
iajs-3023	135	3	𝜉	𝜉	X
iajs-3023	135	4	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	135	5	𝑖	𝑖	NOUN
iajs-3023	135	6	−	−	NOUN
iajs-3023	135	7	𝑟𝑛	𝑟𝑛	INTJ
iajs-3023	135	8	𝑖	𝑖	SYM
iajs-3023	135	9	|	|	ADV
iajs-3023	135	10	≤	≤	NUM
iajs-3023	135	11	‖𝘚(𝑛+1)𝑖𝑓(𝑥𝑛+1	‖𝘚(𝑛+1)𝑖𝑓(𝑥𝑛+1	NOUN
iajs-3023	135	12	)	)	PUNCT
iajs-3023	136	1	+	+	CCONJ
iajs-3023	136	2	(	(	PUNCT
iajs-3023	136	3	1	1	NUM
iajs-3023	136	4	−	−	PROPN
iajs-3023	136	5	𝘚(𝑛+1)𝑖	𝘚(𝑛+1)𝑖	PROPN
iajs-3023	136	6	)	)	PUNCT
iajs-3023	136	7	𝑔(𝑥𝑛+1	𝑔(𝑥𝑛+1	PROPN
iajs-3023	136	8	)	)	PUNCT
iajs-3023	136	9	−	−	NOUN
iajs-3023	136	10	𝘚𝑛𝑖𝑓(𝑥𝑛	𝘚𝑛𝑖𝑓(𝑥𝑛	X
iajs-3023	136	11	)	)	PUNCT
iajs-3023	137	1	+	+	CCONJ
iajs-3023	137	2	(	(	PUNCT
iajs-3023	137	3	1	1	NUM
iajs-3023	137	4	−	−	PROPN
iajs-3023	137	5	𝘚𝑛𝑖	𝘚𝑛𝑖	PROPN
iajs-3023	137	6	)	)	PUNCT
iajs-3023	137	7	𝑔(𝑥𝑛)‖	𝑔(𝑥𝑛)‖	PROPN
iajs-3023	138	1	+	+	CCONJ
iajs-3023	138	2	𝑆	𝑆	PROPN
iajs-3023	138	3	𝜉	𝜉	X
iajs-3023	138	4	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	138	5	𝑖	𝑖	ADP
iajs-3023	138	6	−	−	NOUN
iajs-3023	138	7	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	138	8	𝑖	𝑖	PUNCT
iajs-3023	138	9	|	|	ADV
iajs-3023	138	10	≤	≤	NUM
iajs-3023	138	11	‖𝘚(𝑛+1)𝑖𝑓(𝑥𝑛+1	‖𝘚(𝑛+1)𝑖𝑓(𝑥𝑛+1	NOUN
iajs-3023	138	12	)	)	PUNCT
iajs-3023	139	1	−	−	PROPN
iajs-3023	140	1	𝘚𝑛𝑖𝑓(𝑥𝑛)‖	𝘚𝑛𝑖𝑓(𝑥𝑛)‖	PROPN
iajs-3023	141	1	+	+	NUM
iajs-3023	141	2	‖(1	‖(1	NUM
iajs-3023	141	3	−	−	PROPN
iajs-3023	141	4	𝘚(𝑛+1)𝑖	𝘚(𝑛+1)𝑖	PROPN
iajs-3023	141	5	)	)	PUNCT
iajs-3023	141	6	𝑔(𝑥𝑛+1	𝑔(𝑥𝑛+1	ADJ
iajs-3023	141	7	)	)	PUNCT
iajs-3023	141	8	−	−	PROPN
iajs-3023	142	1	(	(	PUNCT
iajs-3023	142	2	1	1	NUM
iajs-3023	142	3	−	−	PROPN
iajs-3023	142	4	𝘚𝑛𝑖	𝘚𝑛𝑖	PROPN
iajs-3023	142	5	)	)	PUNCT
iajs-3023	142	6	𝑔(𝑥𝑛)‖	𝑔(𝑥𝑛)‖	PROPN
iajs-3023	143	1	+	+	CCONJ
iajs-3023	143	2	𝑆	𝑆	PROPN
iajs-3023	143	3	𝜉	𝜉	X
iajs-3023	143	4	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	143	5	𝑖	𝑖	ADP
iajs-3023	143	6	−	−	NOUN
iajs-3023	143	7	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	143	8	𝑖	𝑖	PUNCT
iajs-3023	143	9	|	|	ADV
iajs-3023	143	10	≤	≤	NUM
iajs-3023	143	11	𝘚𝑛𝑖‖(𝑥𝑛+1	𝘚𝑛𝑖‖(𝑥𝑛+1	NOUN
iajs-3023	143	12	)	)	PUNCT
iajs-3023	143	13	−	−	PROPN
iajs-3023	143	14	(	(	PUNCT
iajs-3023	143	15	𝑥𝑛)‖	𝑥𝑛)‖	NOUN
iajs-3023	143	16	+	+	CCONJ
iajs-3023	143	17	(	(	PUNCT
iajs-3023	143	18	1	1	NUM
iajs-3023	143	19	−	−	NOUN
iajs-3023	143	20	𝘚𝑛𝑖)‖	𝘚𝑛𝑖)‖	PUNCT
iajs-3023	143	21	(	(	PUNCT
iajs-3023	143	22	𝑥𝑛+1	𝑥𝑛+1	NOUN
iajs-3023	143	23	)	)	PUNCT
iajs-3023	143	24	−	−	PROPN
iajs-3023	143	25	(	(	PUNCT
iajs-3023	143	26	𝑥𝑛)‖	𝑥𝑛)‖	NOUN
iajs-3023	144	1	+	+	CCONJ
iajs-3023	144	2	𝑆	𝑆	PROPN
iajs-3023	144	3	𝜉	𝜉	X
iajs-3023	144	4	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	144	5	𝑖	𝑖	ADP
iajs-3023	144	6	−	−	NOUN
iajs-3023	144	7	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	144	8	𝑖	𝑖	PUNCT
iajs-3023	144	9	|	|	ADV
iajs-3023	144	10	≤	≤	ADJ
iajs-3023	144	11	‖𝑥𝑛+1	‖𝑥𝑛+1	PUNCT
iajs-3023	144	12	−	−	PUNCT
iajs-3023	144	13	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	144	14	+	+	CCONJ
iajs-3023	144	15	𝑆	𝑆	PROPN
iajs-3023	144	16	𝜉	𝜉	X
iajs-3023	144	17	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	144	18	𝑖	𝑖	ADP
iajs-3023	144	19	−	−	NOUN
iajs-3023	144	20	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	144	21	𝑖	𝑖	NOUN
iajs-3023	145	1	|	|	ADV
iajs-3023	145	2	‖𝑦𝑛+1	‖𝑦𝑛+1	ADV
iajs-3023	146	1	𝑚	𝑚	INTJ
iajs-3023	146	2	−	−	NOUN
iajs-3023	146	3	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	146	4	𝑚‖	𝑚‖	NOUN
iajs-3023	146	5	≤	≤	NUM
iajs-3023	146	6	𝘙𝑛0	𝘙𝑛0	NOUN
iajs-3023	147	1	+	+	ADP
iajs-3023	147	2	1k	1k	X
iajs-3023	147	3	+	+	CCONJ
iajs-3023	147	4	(	(	PUNCT
iajs-3023	147	5	(	(	PUNCT
iajs-3023	147	6	∑	∑	PROPN
iajs-3023	147	7	(	(	PUNCT
iajs-3023	147	8	𝑙	𝑙	NOUN
iajs-3023	147	9	𝑖=1	𝑖=1	PROPN
iajs-3023	147	10	|	|	ADV
iajs-3023	147	11	(	(	PUNCT
iajs-3023	147	12	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	147	13	−	−	PROPN
iajs-3023	147	14	𝘙𝑛𝑖+1)|	𝘙𝑛𝑖+1)|	NOUN
iajs-3023	147	15	+	+	CCONJ
iajs-3023	147	16	|𝘙𝑛0	|𝘙𝑛0	ADJ
iajs-3023	147	17	+	+	ADJ
iajs-3023	147	18	1	1	NUM
iajs-3023	147	19	−	−	NOUN
iajs-3023	147	20	𝘙𝑛0	𝘙𝑛0	NOUN
iajs-3023	147	21	|)𝐾	|)𝐾	PUNCT
iajs-3023	147	22	)	)	PUNCT
iajs-3023	148	1	+	+	CCONJ
iajs-3023	148	2	∑	∑	PUNCT
iajs-3023	148	3	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	148	4	(	(	PUNCT
iajs-3023	148	5	𝑙	𝑙	PROPN
iajs-3023	148	6	𝑖=1	𝑖=1	PROPN
iajs-3023	148	7	‖𝑥𝑛+1	‖𝑥𝑛+1	PUNCT
iajs-3023	148	8	−	−	PUNCT
iajs-3023	148	9	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	148	10	+	+	CCONJ
iajs-3023	148	11	𝑆	𝑆	PROPN
iajs-3023	148	12	𝜉	𝜉	X
iajs-3023	148	13	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	148	14	𝑖	𝑖	ADP
iajs-3023	148	15	−	−	NOUN
iajs-3023	148	16	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	148	17	𝑖	𝑖	X
iajs-3023	148	18	|	|	NOUN
iajs-3023	148	19	)	)	PUNCT
iajs-3023	148	20	‖𝑦𝑛+1	‖𝑦𝑛+1	PROPN
iajs-3023	149	1	𝑚	𝑚	ADP
iajs-3023	149	2	−	−	NOUN
iajs-3023	149	3	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	149	4	𝑚‖	𝑚‖	NOUN
iajs-3023	149	5	≤	≤	NUM
iajs-3023	149	6	‖𝑥𝑛+1	‖𝑥𝑛+1	PUNCT
iajs-3023	149	7	−	−	PUNCT
iajs-3023	149	8	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	149	9	+	+	NOUN
iajs-3023	149	10	𝘙𝑛0	𝘙𝑛0	ADJ
iajs-3023	149	11	+	+	NOUN
iajs-3023	149	12	1k	1k	X
iajs-3023	149	13	+	+	CCONJ
iajs-3023	149	14	(	(	PUNCT
iajs-3023	149	15	(	(	PUNCT
iajs-3023	149	16	∑	∑	PROPN
iajs-3023	149	17	(	(	PUNCT
iajs-3023	149	18	𝑙	𝑙	NOUN
iajs-3023	149	19	𝑖=1	𝑖=1	PROPN
iajs-3023	149	20	|	|	ADV
iajs-3023	149	21	(	(	PUNCT
iajs-3023	149	22	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	149	23	−	−	PROPN
iajs-3023	149	24	𝘙𝑛𝑖+1)|	𝘙𝑛𝑖+1)|	NOUN
iajs-3023	149	25	+	+	CCONJ
iajs-3023	149	26	|𝘙𝑛0	|𝘙𝑛0	ADJ
iajs-3023	149	27	+	+	ADJ
iajs-3023	149	28	1	1	NUM
iajs-3023	149	29	−	−	NOUN
iajs-3023	149	30	𝘙𝑛0	𝘙𝑛0	NOUN
iajs-3023	149	31	|)𝐾	|)𝐾	PUNCT
iajs-3023	149	32	)	)	PUNCT
iajs-3023	150	1	+	+	CCONJ
iajs-3023	150	2	𝑆	𝑆	PROPN
iajs-3023	150	3	𝜉	𝜉	X
iajs-3023	150	4	∑	∑	PUNCT
iajs-3023	150	5	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	150	6	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	150	7	𝑖	𝑖	NUM
iajs-3023	150	8	−	−	NOUN
iajs-3023	150	9	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	150	10	𝑖	𝑖	PRON
iajs-3023	150	11	|𝑙	|𝑙	NOUN
iajs-3023	150	12	𝑖=1	𝑖=1	PUNCT
iajs-3023	150	13	(	(	PUNCT
iajs-3023	150	14	2.3	2.3	NUM
iajs-3023	150	15	)	)	PUNCT
iajs-3023	150	16	ihjpas	ihjpa	NOUN
iajs-3023	150	17	.	.	PUNCT
iajs-3023	151	1	36(2)2023	36(2)2023	NUM
iajs-3023	151	2	371	371	NUM
iajs-3023	151	3	now	now	ADV
iajs-3023	151	4	,	,	PUNCT
iajs-3023	151	5	we	we	PRON
iajs-3023	151	6	have	have	VERB
iajs-3023	151	7	‖𝑦𝑛+1	‖𝑦𝑛+1	PROPN
iajs-3023	151	8	𝑖	𝑖	SYM
iajs-3023	151	9	−	−	NOUN
iajs-3023	151	10	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	151	11	𝑖	𝑖	PUNCT
iajs-3023	151	12	‖	‖	PROPN
iajs-3023	151	13	≤	≤	NOUN
iajs-3023	151	14	‖𝑥𝑛+1	‖𝑥𝑛+1	PUNCT
iajs-3023	152	1	−	−	PUNCT
iajs-3023	152	2	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	152	3	+	+	CCONJ
iajs-3023	152	4	𝑆	𝑆	PROPN
iajs-3023	152	5	𝜉	𝜉	X
iajs-3023	152	6	∑	∑	PROPN
iajs-3023	152	7	(	(	PUNCT
iajs-3023	152	8	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	152	9	𝑖	𝑖	X
iajs-3023	152	10	−	−	NOUN
iajs-3023	152	11	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	152	12	𝑖	𝑖	X
iajs-3023	152	13	|)𝑙	|)𝑙	ADJ
iajs-3023	152	14	𝑖=1	𝑖=1	X
iajs-3023	152	15	+	+	PUNCT
iajs-3023	152	16	𝘙𝑛0	𝘙𝑛0	ADJ
iajs-3023	152	17	+	+	NOUN
iajs-3023	152	18	1k	1k	X
iajs-3023	152	19	+	+	CCONJ
iajs-3023	152	20	(	(	PUNCT
iajs-3023	152	21	(	(	PUNCT
iajs-3023	152	22	∑	∑	PROPN
iajs-3023	152	23	(	(	PUNCT
iajs-3023	152	24	𝑙	𝑙	PROPN
iajs-3023	152	25	𝑖=0	𝑖=0	PROPN
iajs-3023	152	26	|	|	NOUN
iajs-3023	152	27	(	(	PUNCT
iajs-3023	152	28	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	152	29	−	−	PROPN
iajs-3023	152	30	𝘙𝑛𝑖+1)|)𝐾	𝘙𝑛𝑖+1)|)𝐾	NOUN
iajs-3023	152	31	)	)	PUNCT
iajs-3023	152	32	now	now	ADV
iajs-3023	152	33	,	,	PUNCT
iajs-3023	152	34	we	we	PRON
iajs-3023	152	35	estimate	estimate	VERB
iajs-3023	152	36	‖𝑥𝑛+2	‖𝑥𝑛+2	PUNCT
iajs-3023	152	37	−	−	PROPN
iajs-3023	152	38	𝑥𝑛+1‖	𝑥𝑛+1‖	PROPN
iajs-3023	152	39	.	.	PUNCT
iajs-3023	153	1	since	since	SCONJ
iajs-3023	153	2	𝑥𝑛+1	𝑥𝑛+1	PROPN
iajs-3023	153	3	=	=	SYM
iajs-3023	153	4	𝛼𝑛𝑥	𝛼𝑛𝑥	NOUN
iajs-3023	153	5	+	+	CCONJ
iajs-3023	153	6	(	(	PUNCT
iajs-3023	153	7	1	1	NUM
iajs-3023	153	8	−	−	NOUN
iajs-3023	153	9	𝛼𝑛)𝑦𝑛	𝛼𝑛)𝑦𝑛	NUM
iajs-3023	153	10	𝑚	𝑚	X
iajs-3023	153	11	=	=	SYM
iajs-3023	153	12	‖𝑥𝑛+2	‖𝑥𝑛+2	NOUN
iajs-3023	153	13	−	−	PROPN
iajs-3023	153	14	𝑥𝑛+1‖	𝑥𝑛+1‖	NOUN
iajs-3023	153	15	=	=	SYM
iajs-3023	153	16	‖𝘘𝑛+1𝑃𝑟𝑜𝛹𝑥	‖𝘘𝑛+1𝑃𝑟𝑜𝛹𝑥	PROPN
iajs-3023	153	17	+	+	CCONJ
iajs-3023	153	18	(	(	PUNCT
iajs-3023	153	19	1	1	NUM
iajs-3023	153	20	−	−	PROPN
iajs-3023	153	21	𝘘𝑛+1)𝑦𝑛+1	𝘘𝑛+1)𝑦𝑛+1	NOUN
iajs-3023	153	22	𝑚	𝑚	NOUN
iajs-3023	153	23	−	−	PROPN
iajs-3023	153	24	𝘘𝑛𝑥	𝘘𝑛𝑥	PROPN
iajs-3023	153	25	+	+	CCONJ
iajs-3023	153	26	(	(	PUNCT
iajs-3023	153	27	1	1	NUM
iajs-3023	153	28	−	−	NOUN
iajs-3023	153	29	𝘘𝑛)𝑦𝑛	𝘘𝑛)𝑦𝑛	PROPN
iajs-3023	153	30	𝑚‖	𝑚‖	VERB
iajs-3023	153	31	≤	≤	NUM
iajs-3023	153	32	1	1	NUM
iajs-3023	153	33	−	−	PROPN
iajs-3023	153	34	𝘘𝑛)‖𝑦𝑛+1	𝘘𝑛)‖𝑦𝑛+1	NOUN
iajs-3023	153	35	𝑚	𝑚	ADP
iajs-3023	153	36	−	−	PROPN
iajs-3023	153	37	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	153	38	𝑚‖	𝑚‖	NOUN
iajs-3023	153	39	+	+	CCONJ
iajs-3023	153	40	|𝘘𝑛+1	|𝘘𝑛+1	ADJ
iajs-3023	153	41	−	−	ADP
iajs-3023	153	42	𝘘𝑛|(‖𝑃𝑟𝑜𝛹𝑥‖	𝘘𝑛|(‖𝑃𝑟𝑜𝛹𝑥‖	NOUN
iajs-3023	153	43	+	+	CCONJ
iajs-3023	153	44	‖𝑦𝑛+1	‖𝑦𝑛+1	PROPN
iajs-3023	153	45	𝑚	𝑚	ADP
iajs-3023	153	46	‖	‖	NUM
iajs-3023	153	47	)	)	PUNCT
iajs-3023	153	48	≤	≤	NOUN
iajs-3023	153	49	(	(	PUNCT
iajs-3023	153	50	1	1	NUM
iajs-3023	153	51	−	−	PROPN
iajs-3023	153	52	𝘘𝑛)‖𝑦𝑛+1	𝘘𝑛)‖𝑦𝑛+1	NOUN
iajs-3023	153	53	𝑚	𝑚	ADP
iajs-3023	153	54	−	−	PROPN
iajs-3023	153	55	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	153	56	𝑚‖	𝑚‖	NOUN
iajs-3023	153	57	+	+	CCONJ
iajs-3023	153	58	l|𝘘𝑛+1	l|𝘘𝑛+1	ADJ
iajs-3023	153	59	−	−	PROPN
iajs-3023	153	60	𝘘𝑛+1|	𝘘𝑛+1|	PROPN
iajs-3023	153	61	where	where	SCONJ
iajs-3023	153	62	l	l	NOUN
iajs-3023	153	63	=	=	SYM
iajs-3023	153	64	‖𝑃𝑟𝑜𝛹𝑥‖	‖𝑃𝑟𝑜𝛹𝑥‖	NOUN
iajs-3023	153	65	+	+	CCONJ
iajs-3023	153	66	‖𝑦𝑛+1	‖𝑦𝑛+1	PROPN
iajs-3023	153	67	𝑚	𝑚	ADP
iajs-3023	153	68	‖	‖	PROPN
iajs-3023	153	69	.so	.so	PROPN
iajs-3023	153	70	,	,	PUNCT
iajs-3023	153	71	we	we	PRON
iajs-3023	153	72	get	get	VERB
iajs-3023	153	73	‖𝑥𝑛+2	‖𝑥𝑛+2	PUNCT
iajs-3023	153	74	−	−	PROPN
iajs-3023	153	75	𝑥𝑛+1‖	𝑥𝑛+1‖	PROPN
iajs-3023	153	76	≤	≤	NOUN
iajs-3023	153	77	(	(	PUNCT
iajs-3023	153	78	1	1	NUM
iajs-3023	153	79	−	−	PRON
iajs-3023	153	80	𝘘𝑛)‖𝑥𝑛+1	𝘘𝑛)‖𝑥𝑛+1	NOUN
iajs-3023	153	81	−	−	NOUN
iajs-3023	153	82	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	153	83	+	+	NOUN
iajs-3023	153	84	𝘙𝑛0	𝘙𝑛0	ADJ
iajs-3023	153	85	+	+	NOUN
iajs-3023	153	86	1k	1k	X
iajs-3023	153	87	+	+	CCONJ
iajs-3023	153	88	(	(	PUNCT
iajs-3023	153	89	(	(	PUNCT
iajs-3023	153	90	∑	∑	PROPN
iajs-3023	153	91	(	(	PUNCT
iajs-3023	153	92	𝑙	𝑙	PROPN
iajs-3023	153	93	𝑖=0	𝑖=0	PROPN
iajs-3023	153	94	|	|	NOUN
iajs-3023	153	95	(	(	PUNCT
iajs-3023	153	96	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	153	97	−	−	PROPN
iajs-3023	153	98	𝘙𝑛𝑖+1)|)𝐾	𝘙𝑛𝑖+1)|)𝐾	NOUN
iajs-3023	153	99	)	)	PUNCT
iajs-3023	154	1	+	+	CCONJ
iajs-3023	154	2	𝑆	𝑆	PROPN
iajs-3023	154	3	𝜉	𝜉	NOUN
iajs-3023	154	4	∑	∑	PUNCT
iajs-3023	154	5	𝘙𝑛𝑖+1	𝘙𝑛𝑖+1	PROPN
iajs-3023	154	6	|𝜉𝑛+1	|𝜉𝑛+1	PROPN
iajs-3023	154	7	𝑖	𝑖	NUM
iajs-3023	154	8	−	−	NOUN
iajs-3023	154	9	𝜉𝑛	𝜉𝑛	INTJ
iajs-3023	154	10	𝑖	𝑖	PRON
iajs-3023	154	11	|𝑙	|𝑙	VERB
iajs-3023	154	12	𝑖=1	𝑖=1	PUNCT
iajs-3023	154	13	+	+	NUM
iajs-3023	154	14	l|𝘘𝑛+1	l|𝘘𝑛+1	ADJ
iajs-3023	154	15	−	−	PROPN
iajs-3023	154	16	𝘘𝑛+1|	𝘘𝑛+1|	PROPN
iajs-3023	154	17	so	so	ADV
iajs-3023	154	18	,	,	PUNCT
iajs-3023	154	19	‖𝑥𝑛+1	‖𝑥𝑛+1	ADP
iajs-3023	154	20	−	−	ADP
iajs-3023	154	21	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	154	22	→	→	SYM
iajs-3023	154	23	0	0	NUM
iajs-3023	154	24	𝑎𝑠	𝑎𝑠	PROPN
iajs-3023	154	25	𝑛	𝑛	PROPN
iajs-3023	154	26	→	→	SYM
iajs-3023	154	27	∞	∞	NUM
iajs-3023	154	28	‖𝑥𝑛	‖𝑥𝑛	NUM
iajs-3023	155	1	−	−	NOUN
iajs-3023	155	2	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	155	3	𝑚‖	𝑚‖	VERB
iajs-3023	155	4	≤	≤	NUM
iajs-3023	155	5	‖𝑥𝑛+1	‖𝑥𝑛+1	PUNCT
iajs-3023	155	6	−	−	PUNCT
iajs-3023	155	7	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	155	8	+	+	CCONJ
iajs-3023	155	9	‖𝑥𝑛+1	‖𝑥𝑛+1	ADP
iajs-3023	155	10	−	−	NOUN
iajs-3023	155	11	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	155	12	𝑚‖	𝑚‖	VERB
iajs-3023	155	13	≤	≤	NUM
iajs-3023	155	14	‖𝑥𝑛+1	‖𝑥𝑛+1	PUNCT
iajs-3023	155	15	−	−	PUNCT
iajs-3023	155	16	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	155	17	+	+	CCONJ
iajs-3023	155	18	‖𝘘𝑛𝑥	‖𝘘𝑛𝑥	X
iajs-3023	155	19	+	+	NUM
iajs-3023	155	20	(	(	PUNCT
iajs-3023	155	21	1	1	NUM
iajs-3023	155	22	−	−	NOUN
iajs-3023	155	23	𝘘𝑛)𝑦𝑛	𝘘𝑛)𝑦𝑛	NOUN
iajs-3023	155	24	𝑚	𝑚	ADP
iajs-3023	155	25	−	−	NOUN
iajs-3023	155	26	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	155	27	𝑚‖	𝑚‖	NOUN
iajs-3023	155	28	=	=	PUNCT
iajs-3023	155	29	‖𝑥𝑛+1	‖𝑥𝑛+1	PUNCT
iajs-3023	155	30	−	−	PROPN
iajs-3023	155	31	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	155	32	+	+	CCONJ
iajs-3023	155	33	‖𝘘𝑛𝑥	‖𝘘𝑛𝑥	PROPN
iajs-3023	155	34	+	+	CCONJ
iajs-3023	155	35	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	155	36	𝑚	𝑚	NOUN
iajs-3023	155	37	−	−	PROPN
iajs-3023	155	38	𝘘𝑛𝑦𝑛	𝘘𝑛𝑦𝑛	PROPN
iajs-3023	155	39	𝑚	𝑚	NOUN
iajs-3023	155	40	−	−	NOUN
iajs-3023	155	41	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	155	42	𝑚‖	𝑚‖	NOUN
iajs-3023	155	43	=	=	PUNCT
iajs-3023	155	44	‖𝑥𝑛+1	‖𝑥𝑛+1	PUNCT
iajs-3023	155	45	−	−	PROPN
iajs-3023	155	46	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	155	47	+	+	CCONJ
iajs-3023	155	48	‖𝘘𝑛𝑥	‖𝘘𝑛𝑥	PRON
iajs-3023	155	49	−	−	PROPN
iajs-3023	155	50	𝘘𝑛𝑦𝑛	𝘘𝑛𝑦𝑛	PROPN
iajs-3023	155	51	𝑚‖	𝑚‖	NOUN
iajs-3023	155	52	≤	≤	NUM
iajs-3023	155	53	‖𝑥𝑛+1	‖𝑥𝑛+1	PUNCT
iajs-3023	155	54	−	−	PUNCT
iajs-3023	155	55	𝑥𝑛‖	𝑥𝑛‖	NOUN
iajs-3023	155	56	+	+	NOUN
iajs-3023	155	57	𝘘𝑛‖𝑥	𝘘𝑛‖𝑥	PROPN
iajs-3023	155	58	−	−	PROPN
iajs-3023	155	59	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	155	60	𝑚‖	𝑚‖	NOUN
iajs-3023	155	61	we	we	PRON
iajs-3023	155	62	have	have	VERB
iajs-3023	155	63	‖𝑥𝑛	‖𝑥𝑛	NUM
iajs-3023	155	64	−	−	NOUN
iajs-3023	155	65	𝑦𝑛	𝑦𝑛	NOUN
iajs-3023	155	66	𝑚‖	𝑚‖	NOUN
iajs-3023	155	67	→	→	SYM
iajs-3023	155	68	0	0	NUM
iajs-3023	155	69	𝑎𝑠	𝑎𝑠	PROPN
iajs-3023	155	70	𝑛	𝑛	PROPN
iajs-3023	155	71	→	→	SYM
iajs-3023	155	72	∞	∞	NUM
iajs-3023	155	73	.	.	PUNCT
iajs-3023	156	1	now	now	ADV
iajs-3023	156	2	,	,	PUNCT
iajs-3023	156	3	we	we	PRON
iajs-3023	156	4	show	show	VERB
iajs-3023	156	5	that	that	SCONJ
iajs-3023	156	6	‖𝑦𝑛	‖𝑦𝑛	NUM
iajs-3023	156	7	𝑖−1	𝑖−1	PUNCT
iajs-3023	156	8	−	−	PROPN
iajs-3023	156	9	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	156	10	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	156	11	→	→	SYM
iajs-3023	156	12	0	0	NUM
iajs-3023	156	13	for	for	ADP
iajs-3023	156	14	all	all	PRON
iajs-3023	156	15	𝑖	𝑖	NOUN
iajs-3023	156	16	=	=	NOUN
iajs-3023	156	17	1,2	1,2	NUM
iajs-3023	156	18	,	,	PUNCT
iajs-3023	156	19	.	.	PUNCT
iajs-3023	156	20	.	.	PUNCT
iajs-3023	157	1	𝑀	𝑀	PROPN
iajs-3023	157	2	.	.	PUNCT
iajs-3023	158	1	in	in	ADP
iajs-3023	158	2	fact	fact	NOUN
iajs-3023	158	3	,	,	PUNCT
iajs-3023	158	4	let	let	VERB
iajs-3023	158	5	{	{	PUNCT
iajs-3023	158	6	𝑥𝑛𝑘	𝑥𝑛𝑘	NOUN
iajs-3023	158	7	}	}	PUNCT
iajs-3023	158	8	be	be	AUX
iajs-3023	158	9	a	a	DET
iajs-3023	158	10	subsequence	subsequence	NOUN
iajs-3023	158	11	of	of	ADP
iajs-3023	158	12	{	{	PUNCT
iajs-3023	158	13	𝑥𝑛	𝑥𝑛	NOUN
iajs-3023	158	14	}	}	PUNCT
iajs-3023	158	15	such	such	ADJ
iajs-3023	158	16	that	that	SCONJ
iajs-3023	158	17	lim	lim	PROPN
iajs-3023	158	18	𝑛→∞	𝑛→∞	NUM
iajs-3023	158	19	𝑠𝑢𝑝	𝑠𝑢𝑝	NOUN
iajs-3023	158	20	‖𝑦𝑛	‖𝑦𝑛	NUM
iajs-3023	158	21	𝑖−1	𝑖−1	PUNCT
iajs-3023	158	22	−	−	PROPN
iajs-3023	158	23	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	158	24	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	159	1	=	=	SYM
iajs-3023	159	2	lim	lim	PROPN
iajs-3023	159	3	𝑘→∞	𝑘→∞	NUM
iajs-3023	159	4	‖𝑦𝑛𝑘	‖𝑦𝑛𝑘	PROPN
iajs-3023	160	1	𝑖−1	𝑖−1	NOUN
iajs-3023	160	2	−	−	PROPN
iajs-3023	160	3	𝑅𝑒𝑠𝑖,𝑛𝑘	𝑅𝑒𝑠𝑖,𝑛𝑘	NUM
iajs-3023	160	4	𝑦𝑛𝑘	𝑦𝑛𝑘	NOUN
iajs-3023	160	5	𝑖−1‖	𝑖−1‖	PROPN
iajs-3023	160	6	,	,	PUNCT
iajs-3023	160	7	and	and	CCONJ
iajs-3023	160	8	let	let	VERB
iajs-3023	160	9	{	{	PUNCT
iajs-3023	160	10	𝑥𝑛𝑘𝑙	𝑥𝑛𝑘𝑙	AUX
iajs-3023	160	11	}	}	PUNCT
iajs-3023	160	12	be	be	AUX
iajs-3023	160	13	a	a	DET
iajs-3023	160	14	subsequence	subsequence	NOUN
iajs-3023	160	15	of	of	ADP
iajs-3023	160	16	{	{	PUNCT
iajs-3023	160	17	𝑥𝑛𝑘	𝑥𝑛𝑘	NOUN
iajs-3023	160	18	}	}	PUNCT
iajs-3023	160	19	such	such	ADJ
iajs-3023	160	20	that	that	SCONJ
iajs-3023	160	21	lim	lim	PROPN
iajs-3023	160	22	𝑘→∞	𝑘→∞	NUM
iajs-3023	160	23	𝑠𝑢𝑝	𝑠𝑢𝑝	NOUN
iajs-3023	160	24	‖𝑥𝑛𝑘	‖𝑥𝑛𝑘	NUM
iajs-3023	160	25	−	−	PROPN
iajs-3023	160	26	𝑒‖	𝑒‖	PROPN
iajs-3023	160	27	=	=	SYM
iajs-3023	160	28	lim	lim	PROPN
iajs-3023	160	29	𝑙→∞	𝑙→∞	NOUN
iajs-3023	160	30	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	161	1	−	−	NOUN
iajs-3023	161	2	𝑒‖	𝑒‖	PROPN
iajs-3023	161	3	.	.	PUNCT
iajs-3023	162	1	then	then	ADV
iajs-3023	162	2	we	we	PRON
iajs-3023	162	3	have	have	VERB
iajs-3023	162	4	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	163	1	−	−	NOUN
iajs-3023	163	2	𝑒‖	𝑒‖	PROPN
iajs-3023	163	3	=	=	SYM
iajs-3023	163	4	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	164	1	−	−	PROPN
iajs-3023	164	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	164	3	𝑚	𝑚	PROPN
iajs-3023	165	1	+	+	CCONJ
iajs-3023	165	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	165	3	𝑚	𝑚	ADP
iajs-3023	165	4	−	−	NOUN
iajs-3023	165	5	𝑒‖	𝑒‖	ADJ
iajs-3023	165	6	≤	≤	NUM
iajs-3023	165	7	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	166	1	−	−	PROPN
iajs-3023	166	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	166	3	𝑚	𝑚	PROPN
iajs-3023	166	4	‖	‖	PROPN
iajs-3023	166	5	+	+	PROPN
iajs-3023	166	6	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	166	7	𝑚	𝑚	X
iajs-3023	166	8	−	−	NOUN
iajs-3023	166	9	𝑒‖	𝑒‖	ADJ
iajs-3023	166	10	≤	≤	NUM
iajs-3023	166	11	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	167	1	−	−	PROPN
iajs-3023	167	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	167	3	𝑚	𝑚	PROPN
iajs-3023	167	4	‖	‖	PROPN
iajs-3023	167	5	+	+	PROPN
iajs-3023	168	1	‖𝘙𝑛0	‖𝘙𝑛0	PROPN
iajs-3023	168	2	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	168	3	𝑜	𝑜	NOUN
iajs-3023	168	4	+	+	CCONJ
iajs-3023	168	5	∑	∑	PROPN
iajs-3023	168	6	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	168	7	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	NOUN
iajs-3023	168	8	𝑖	𝑖	ADP
iajs-3023	168	9	𝑚	𝑚	PROPN
iajs-3023	168	10	𝑖=2	𝑖=2	PUNCT
iajs-3023	168	11	−	−	PROPN
iajs-3023	168	12	𝑒‖	𝑒‖	ADJ
iajs-3023	168	13	≤	≤	NUM
iajs-3023	168	14	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	169	1	−	−	PROPN
iajs-3023	169	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	169	3	𝑚	𝑚	PROPN
iajs-3023	169	4	‖	‖	PROPN
iajs-3023	169	5	+	+	PROPN
iajs-3023	169	6	‖𝘙𝑛0	‖𝘙𝑛0	PROPN
iajs-3023	169	7	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	170	1	𝑜	𝑜	NOUN
iajs-3023	170	2	−	−	NOUN
iajs-3023	170	3	𝑒‖	𝑒‖	ADP
iajs-3023	170	4	+	+	CCONJ
iajs-3023	170	5	‖∑	‖∑	ADP
iajs-3023	170	6	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	170	7	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛𝑘𝑙	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛𝑘𝑙	NOUN
iajs-3023	170	8	𝑖	𝑖	SYM
iajs-3023	170	9	𝑙	𝑙	NOUN
iajs-3023	170	10	𝑖=2	𝑖=2	NOUN
iajs-3023	170	11	−	−	NOUN
iajs-3023	170	12	𝑒‖	𝑒‖	ADJ
iajs-3023	170	13	≤	≤	NUM
iajs-3023	170	14	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	171	1	−	−	PROPN
iajs-3023	171	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	171	3	𝑚	𝑚	PROPN
iajs-3023	171	4	‖	‖	PROPN
iajs-3023	171	5	+	+	PROPN
iajs-3023	171	6	𝘙𝑛0	𝘙𝑛0	ADJ
iajs-3023	171	7	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	172	1	𝑜	𝑜	NOUN
iajs-3023	172	2	−	−	NOUN
iajs-3023	172	3	𝑒‖	𝑒‖	ADP
iajs-3023	172	4	+	+	CCONJ
iajs-3023	172	5	∑	∑	PROPN
iajs-3023	172	6	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	172	7	𝑙	𝑙	NOUN
iajs-3023	172	8	𝑖=2	𝑖=2	PROPN
iajs-3023	172	9	‖𝑅𝑒𝑠𝑖,𝑛𝑦𝑛𝑘𝑙	‖𝑅𝑒𝑠𝑖,𝑛𝑦𝑛𝑘𝑙	NOUN
iajs-3023	172	10	𝑖	𝑖	SYM
iajs-3023	172	11	−	−	PROPN
iajs-3023	173	1	𝑒‖	𝑒‖	ADJ
iajs-3023	173	2	≤	≤	NUM
iajs-3023	173	3	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	174	1	−	−	PROPN
iajs-3023	174	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	174	3	𝑚	𝑚	PROPN
iajs-3023	174	4	‖	‖	PROPN
iajs-3023	174	5	+	+	PROPN
iajs-3023	174	6	𝘙𝑛0	𝘙𝑛0	ADJ
iajs-3023	174	7	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	175	1	𝑜	𝑜	NOUN
iajs-3023	175	2	−	−	NOUN
iajs-3023	175	3	𝑒‖	𝑒‖	ADP
iajs-3023	176	1	+	+	CCONJ
iajs-3023	176	2	∑	∑	PROPN
iajs-3023	176	3	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	176	4	𝑙	𝑙	X
iajs-3023	176	5	𝑖=2	𝑖=2	PUNCT
iajs-3023	176	6	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	176	7	𝑖	𝑖	PUNCT
iajs-3023	176	8	−	−	PROPN
iajs-3023	176	9	𝑒‖	𝑒‖	ADJ
iajs-3023	176	10	ihjpas	ihjpas	PROPN
iajs-3023	176	11	.	.	PUNCT
iajs-3023	177	1	36(2)2023	36(2)2023	NUM
iajs-3023	177	2	372	372	NUM
iajs-3023	177	3	≤	≤	NUM
iajs-3023	177	4	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	178	1	−	−	PROPN
iajs-3023	178	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	179	1	𝑚	𝑚	PROPN
iajs-3023	179	2	‖	‖	PROPN
iajs-3023	179	3	+	+	PROPN
iajs-3023	179	4	𝘙𝑛0	𝘙𝑛0	ADJ
iajs-3023	179	5	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	179	6	1	1	NUM
iajs-3023	179	7	−	−	NOUN
iajs-3023	179	8	𝑒‖	𝑒‖	ADV
iajs-3023	179	9	+	+	CCONJ
iajs-3023	179	10	∑	∑	PROPN
iajs-3023	179	11	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	179	12	𝑙	𝑙	X
iajs-3023	179	13	𝑖=1	𝑖=1	PUNCT
iajs-3023	179	14	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	179	15	𝑖	𝑖	PUNCT
iajs-3023	179	16	−	−	NOUN
iajs-3023	179	17	𝑒‖	𝑒‖	ADJ
iajs-3023	179	18	≤	≤	NUM
iajs-3023	179	19	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	180	1	−	−	PROPN
iajs-3023	180	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	180	3	𝑚	𝑚	PROPN
iajs-3023	180	4	‖	‖	PROPN
iajs-3023	180	5	+	+	PROPN
iajs-3023	180	6	𝘙𝑛0	𝘙𝑛0	ADJ
iajs-3023	180	7	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	180	8	1	1	NUM
iajs-3023	180	9	−	−	NOUN
iajs-3023	180	10	𝑒‖	𝑒‖	ADV
iajs-3023	180	11	+	+	CCONJ
iajs-3023	180	12	∑	∑	PROPN
iajs-3023	180	13	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	180	14	𝑙	𝑙	X
iajs-3023	180	15	𝑖=2	𝑖=2	PUNCT
iajs-3023	180	16	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	180	17	𝑖	𝑖	PUNCT
iajs-3023	180	18	−	−	NOUN
iajs-3023	181	1	𝑒‖	𝑒‖	ADJ
iajs-3023	181	2	≤	≤	NUM
iajs-3023	181	3	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	182	1	−	−	PROPN
iajs-3023	182	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	182	3	𝑚	𝑚	PROPN
iajs-3023	182	4	‖	‖	PROPN
iajs-3023	182	5	+	+	PROPN
iajs-3023	182	6	∑	∑	PROPN
iajs-3023	182	7	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	182	8	𝑙	𝑙	PROPN
iajs-3023	182	9	𝑖=0	𝑖=0	PROPN
iajs-3023	182	10	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	182	11	−	−	NOUN
iajs-3023	183	1	𝑒‖	𝑒‖	ADP
iajs-3023	183	2	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	183	3	−	−	PROPN
iajs-3023	184	1	𝑒‖=‖𝑥𝑛𝑘𝑙	𝑒‖=‖𝑥𝑛𝑘𝑙	PROPN
iajs-3023	184	2	−	−	PROPN
iajs-3023	184	3	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	PROPN
iajs-3023	184	4	𝑀	𝑀	PROPN
iajs-3023	184	5	‖	‖	PROPN
iajs-3023	184	6	+	+	PROPN
iajs-3023	184	7	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	184	8	−	−	NOUN
iajs-3023	184	9	𝑒‖	𝑒‖	ADP
iajs-3023	184	10	therefore	therefore	ADV
iajs-3023	184	11	lim	lim	PROPN
iajs-3023	184	12	𝑙→∞	𝑙→∞	NOUN
iajs-3023	184	13	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	185	1	−	−	NOUN
iajs-3023	185	2	𝑒‖	𝑒‖	ADJ
iajs-3023	185	3	≤	≤	PUNCT
iajs-3023	185	4	lim	lim	PROPN
iajs-3023	185	5	𝑙→∞	𝑙→∞	NOUN
iajs-3023	185	6	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	PROPN
iajs-3023	185	7	𝑚	𝑚	NOUN
iajs-3023	185	8	−	−	NOUN
iajs-3023	185	9	𝑒‖	𝑒‖	PROPN
iajs-3023	185	10	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	185	11	𝑚	𝑚	NOUN
iajs-3023	185	12	−	−	NOUN
iajs-3023	185	13	𝑒‖	𝑒‖	PROPN
iajs-3023	185	14	2	2	NUM
iajs-3023	185	15	=	=	SYM
iajs-3023	185	16	‖𝘙𝑛0	‖𝘙𝑛0	PROPN
iajs-3023	185	17	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	185	18	1	1	NUM
iajs-3023	186	1	+	+	CCONJ
iajs-3023	186	2	∑	∑	PUNCT
iajs-3023	186	3	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	186	4	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛𝑘𝑙	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛𝑘𝑙	NOUN
iajs-3023	186	5	𝑖	𝑖	ADP
iajs-3023	186	6	𝑙	𝑙	PROPN
iajs-3023	186	7	𝑖=2	𝑖=2	PROPN
iajs-3023	186	8	−	−	PROPN
iajs-3023	186	9	𝑒	𝑒	PROPN
iajs-3023	186	10	‖	‖	PROPN
iajs-3023	186	11	2	2	NUM
iajs-3023	186	12	=	=	SYM
iajs-3023	186	13	(	(	PUNCT
iajs-3023	186	14	1	1	NUM
iajs-3023	186	15	−	−	NOUN
iajs-3023	186	16	∑	∑	PUNCT
iajs-3023	186	17	𝛽𝑛𝑖𝑘𝑙	𝛽𝑛𝑖𝑘𝑙	NOUN
iajs-3023	186	18	𝑚𝑙	𝑚𝑙	X
iajs-3023	186	19	𝑖=1	𝑖=1	PROPN
iajs-3023	186	20	)	)	PUNCT
iajs-3023	186	21	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	187	1	1	1	NUM
iajs-3023	187	2	−	−	NOUN
iajs-3023	187	3	𝑒‖	𝑒‖	ADP
iajs-3023	187	4	2	2	NUM
iajs-3023	187	5	+	+	CCONJ
iajs-3023	187	6	∑	∑	PROPN
iajs-3023	187	7	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	187	8	𝑙	𝑙	X
iajs-3023	187	9	𝑖=1	𝑖=1	PROPN
iajs-3023	188	1	‖𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	‖𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	PROPN
iajs-3023	188	2	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	PROPN
iajs-3023	188	3	𝑖	𝑖	PROPN
iajs-3023	188	4	−	−	PROPN
iajs-3023	188	5	𝑒‖	𝑒‖	ADP
iajs-3023	188	6	2	2	NUM
iajs-3023	188	7	−	−	NOUN
iajs-3023	188	8	(	(	PUNCT
iajs-3023	188	9	1	1	NUM
iajs-3023	188	10	−	−	NOUN
iajs-3023	188	11	∑	∑	PUNCT
iajs-3023	188	12	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	188	13	𝑙	𝑙	X
iajs-3023	188	14	𝑖=1	𝑖=1	PROPN
iajs-3023	188	15	)	)	PUNCT
iajs-3023	189	1	∑	∑	PROPN
iajs-3023	189	2	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	189	3	𝑙	𝑙	X
iajs-3023	190	1	𝑖=1	𝑖=1	PUNCT
iajs-3023	190	2	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	191	1	𝑖	𝑖	PUNCT
iajs-3023	191	2	−	−	PROPN
iajs-3023	191	3	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	NOUN
iajs-3023	191	4	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	191	5	𝑖	𝑖	SYM
iajs-3023	191	6	‖	‖	PROPN
iajs-3023	191	7	2	2	NUM
iajs-3023	191	8	≤	≤	NOUN
iajs-3023	191	9	(	(	PUNCT
iajs-3023	191	10	1	1	NUM
iajs-3023	191	11	−	−	NOUN
iajs-3023	191	12	∑	∑	PUNCT
iajs-3023	192	1	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	192	2	𝑙	𝑙	X
iajs-3023	192	3	𝑖=1	𝑖=1	PROPN
iajs-3023	193	1	+	+	CCONJ
iajs-3023	193	2	∑	∑	PROPN
iajs-3023	193	3	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	193	4	𝑙	𝑙	X
iajs-3023	193	5	𝑖=1	𝑖=1	PUNCT
iajs-3023	193	6	)	)	PUNCT
iajs-3023	193	7	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	194	1	𝑖	𝑖	PUNCT
iajs-3023	194	2	−	−	NOUN
iajs-3023	195	1	𝑒‖	𝑒‖	ADP
iajs-3023	195	2	2	2	NUM
iajs-3023	195	3	−	−	NOUN
iajs-3023	195	4	(	(	PUNCT
iajs-3023	195	5	1	1	NUM
iajs-3023	195	6	−	−	NOUN
iajs-3023	195	7	∑	∑	PUNCT
iajs-3023	195	8	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	195	9	𝑙	𝑙	X
iajs-3023	195	10	𝑖=1	𝑖=1	PROPN
iajs-3023	195	11	)	)	PUNCT
iajs-3023	195	12	∑	∑	PROPN
iajs-3023	195	13	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	195	14	𝑙	𝑙	X
iajs-3023	195	15	𝑖=1	𝑖=1	PUNCT
iajs-3023	195	16	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	195	17	𝑖	𝑖	PUNCT
iajs-3023	196	1	−	−	NOUN
iajs-3023	196	2	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	NOUN
iajs-3023	196	3	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	196	4	1	1	NUM
iajs-3023	196	5	‖	‖	PROPN
iajs-3023	196	6	2	2	NUM
iajs-3023	196	7	≤	≤	NOUN
iajs-3023	196	8	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	197	1	𝑖−1	𝑖−1	PUNCT
iajs-3023	197	2	−	−	PROPN
iajs-3023	198	1	𝑒‖	𝑒‖	ADP
iajs-3023	198	2	2	2	NUM
iajs-3023	198	3	−	−	NOUN
iajs-3023	198	4	(	(	PUNCT
iajs-3023	198	5	1	1	NUM
iajs-3023	198	6	−	−	NOUN
iajs-3023	198	7	∑	∑	PUNCT
iajs-3023	198	8	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	198	9	𝑙	𝑙	X
iajs-3023	198	10	𝑖=1	𝑖=1	PROPN
iajs-3023	198	11	)	)	PUNCT
iajs-3023	198	12	∑	∑	PROPN
iajs-3023	198	13	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	198	14	𝑙	𝑙	X
iajs-3023	198	15	𝑖=1	𝑖=1	PUNCT
iajs-3023	198	16	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	198	17	𝑖	𝑖	PUNCT
iajs-3023	198	18	−	−	PROPN
iajs-3023	198	19	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	NOUN
iajs-3023	198	20	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	198	21	𝑖	𝑖	SYM
iajs-3023	198	22	‖	‖	PROPN
iajs-3023	198	23	2	2	NUM
iajs-3023	198	24	≤	≤	NUM
iajs-3023	198	25	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	199	1	−	−	NOUN
iajs-3023	199	2	𝑒‖	𝑒‖	ADP
iajs-3023	199	3	2	2	NUM
iajs-3023	199	4	−	−	NOUN
iajs-3023	199	5	(	(	PUNCT
iajs-3023	199	6	1	1	NUM
iajs-3023	199	7	−	−	NOUN
iajs-3023	199	8	∑	∑	PUNCT
iajs-3023	199	9	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	199	10	𝑙	𝑙	X
iajs-3023	199	11	𝑖=1	𝑖=1	PROPN
iajs-3023	199	12	)	)	PUNCT
iajs-3023	200	1	∑	∑	PROPN
iajs-3023	201	1	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	201	2	𝑙	𝑙	X
iajs-3023	201	3	𝑖=1	𝑖=1	PUNCT
iajs-3023	201	4	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	201	5	1	1	NUM
iajs-3023	201	6	−	−	NOUN
iajs-3023	201	7	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	NOUN
iajs-3023	201	8	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	201	9	𝑖	𝑖	SYM
iajs-3023	201	10	‖	‖	PROPN
iajs-3023	201	11	2	2	NUM
iajs-3023	201	12	hence,(1	hence,(1	NOUN
iajs-3023	201	13	−	−	NOUN
iajs-3023	201	14	∑	∑	PROPN
iajs-3023	201	15	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	201	16	𝑙	𝑙	X
iajs-3023	201	17	𝑖=1	𝑖=1	PROPN
iajs-3023	201	18	)	)	PUNCT
iajs-3023	201	19	∑	∑	PROPN
iajs-3023	201	20	𝘙𝑛𝑖𝑘𝑙	𝘙𝑛𝑖𝑘𝑙	PROPN
iajs-3023	201	21	𝑙	𝑙	X
iajs-3023	201	22	𝑖=1	𝑖=1	PUNCT
iajs-3023	201	23	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	201	24	𝑖	𝑖	PUNCT
iajs-3023	202	1	−	−	PROPN
iajs-3023	202	2	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	NOUN
iajs-3023	202	3	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	202	4	𝑖	𝑖	SYM
iajs-3023	202	5	‖	‖	PROPN
iajs-3023	202	6	2	2	NUM
iajs-3023	202	7	≤	≤	NUM
iajs-3023	202	8	‖𝑥𝑛𝑘𝑙	‖𝑥𝑛𝑘𝑙	NOUN
iajs-3023	203	1	−	−	NOUN
iajs-3023	203	2	𝑒‖	𝑒‖	ADP
iajs-3023	203	3	2	2	NUM
iajs-3023	203	4	−	−	NOUN
iajs-3023	203	5	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	204	1	𝑖	𝑖	PUNCT
iajs-3023	204	2	−	−	NOUN
iajs-3023	204	3	𝑒‖	𝑒‖	ADP
iajs-3023	204	4	2	2	NUM
iajs-3023	204	5	→	→	SYM
iajs-3023	204	6	0	0	NUM
iajs-3023	204	7	,	,	PUNCT
iajs-3023	204	8	as	as	ADP
iajs-3023	204	9	𝑙	𝑙	PROPN
iajs-3023	204	10	→	→	SYM
iajs-3023	204	11	∞	∞	PROPN
iajs-3023	204	12	therefore	therefore	ADV
iajs-3023	204	13	,	,	PUNCT
iajs-3023	204	14	we	we	PRON
iajs-3023	204	15	have	have	VERB
iajs-3023	204	16	‖𝑦𝑛𝑘𝑙	‖𝑦𝑛𝑘𝑙	NOUN
iajs-3023	204	17	𝑖	𝑖	SYM
iajs-3023	204	18	−	−	PROPN
iajs-3023	204	19	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	𝑅𝑒𝑠𝑖,𝑛𝑘𝑙	NOUN
iajs-3023	204	20	𝑦𝑛𝑘𝑙	𝑦𝑛𝑘𝑙	NOUN
iajs-3023	204	21	𝑖	𝑖	PROPN
iajs-3023	204	22	‖	‖	PROPN
iajs-3023	204	23	→	→	SYM
iajs-3023	204	24	0	0	NUM
iajs-3023	204	25	.	.	PUNCT
iajs-3023	205	1	which	which	PRON
iajs-3023	205	2	implies	imply	VERB
iajs-3023	205	3	that	that	SCONJ
iajs-3023	205	4	lim	lim	PROPN
iajs-3023	205	5	𝑛→∞	𝑛→∞	NUM
iajs-3023	205	6	𝑠𝑢𝑝‖𝑦𝑛	𝑠𝑢𝑝‖𝑦𝑛	PROPN
iajs-3023	205	7	𝑖	𝑖	SYM
iajs-3023	205	8	−	−	PROPN
iajs-3023	205	9	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	205	10	𝑖	𝑖	SYM
iajs-3023	205	11	‖	‖	PROPN
iajs-3023	205	12	=	=	SYM
iajs-3023	205	13	0	0	X
iajs-3023	205	14	.	.	PUNCT
iajs-3023	206	1	hence	hence	ADV
iajs-3023	206	2	‖𝑦𝑛	‖𝑦𝑛	NUM
iajs-3023	206	3	𝑖	𝑖	SYM
iajs-3023	206	4	−	−	PROPN
iajs-3023	206	5	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	206	6	𝑖	𝑖	SYM
iajs-3023	206	7	‖	‖	PROPN
iajs-3023	206	8	→	→	SYM
iajs-3023	206	9	0	0	NUM
iajs-3023	206	10	,	,	PUNCT
iajs-3023	206	11	for	for	ADP
iajs-3023	206	12	all	all	DET
iajs-3023	206	13	i	i	PRON
iajs-3023	206	14	.	.	PUNCT
iajs-3023	207	1	as	as	ADP
iajs-3023	207	2	the	the	DET
iajs-3023	207	3	same	same	ADJ
iajs-3023	207	4	way	way	NOUN
iajs-3023	207	5	,	,	PUNCT
iajs-3023	207	6	we	we	PRON
iajs-3023	207	7	obtain	obtain	VERB
iajs-3023	207	8	‖𝑥𝑛	‖𝑥𝑛	NUM
iajs-3023	207	9	−	−	NOUN
iajs-3023	207	10	𝑅𝑒𝑠𝑖,𝑛𝑥𝑛‖	𝑅𝑒𝑠𝑖,𝑛𝑥𝑛‖	NOUN
iajs-3023	207	11	→	→	SYM
iajs-3023	207	12	0.next	0.next	NUM
iajs-3023	207	13	we	we	PRON
iajs-3023	207	14	show	show	VERB
iajs-3023	207	15	that	that	SCONJ
iajs-3023	207	16	lim	lim	PROPN
iajs-3023	207	17	𝑛→∞	𝑛→∞	NUM
iajs-3023	207	18	𝑠𝑢𝑝	𝑠𝑢𝑝	VERB
iajs-3023	207	19	<	<	X
iajs-3023	207	20	𝑥	𝑥	X
iajs-3023	207	21	−	−	X
iajs-3023	207	22	𝑃𝑟𝑜𝛹(𝑥	𝑃𝑟𝑜𝛹(𝑥	PROPN
iajs-3023	207	23	)	)	PUNCT
iajs-3023	207	24	,	,	PUNCT
iajs-3023	207	25	𝑥𝑛	𝑥𝑛	AUX
iajs-3023	207	26	−	−	NOUN
iajs-3023	207	27	𝑃𝑟𝑜𝛹(𝑥	𝑃𝑟𝑜𝛹(𝑥	PROPN
iajs-3023	207	28	)	)	PUNCT
iajs-3023	207	29	>	>	PUNCT
iajs-3023	208	1	≤	≤	NUM
iajs-3023	208	2	0	0	X
iajs-3023	208	3	.	.	PUNCT
iajs-3023	209	1	let	let	VERB
iajs-3023	209	2	{	{	PUNCT
iajs-3023	209	3	𝑥𝑛𝑘	𝑥𝑛𝑘	AUX
iajs-3023	209	4	}	}	PUNCT
iajs-3023	209	5	be	be	AUX
iajs-3023	209	6	a	a	DET
iajs-3023	209	7	subsequence	subsequence	NOUN
iajs-3023	209	8	of	of	ADP
iajs-3023	209	9	{	{	PUNCT
iajs-3023	209	10	𝑥𝑛	𝑥𝑛	NOUN
iajs-3023	209	11	}	}	PUNCT
iajs-3023	209	12	⇀	⇀	NOUN
iajs-3023	210	1	𝑥∗	𝑥∗	ADJ
iajs-3023	210	2	and	and	CCONJ
iajs-3023	210	3	𝑥∗	𝑥∗	PROPN
iajs-3023	210	4	∈	∈	PROPN
iajs-3023	210	5	𝑆	𝑆	PROPN
iajs-3023	210	6	lim	lim	PROPN
iajs-3023	210	7	𝑛→∞	𝑛→∞	NUM
iajs-3023	210	8	𝑠𝑢𝑝	𝑠𝑢𝑝	VERB
iajs-3023	210	9	<	<	X
iajs-3023	210	10	𝑣	𝑣	ADP
iajs-3023	210	11	−	−	PROPN
iajs-3023	210	12	𝑃𝑟𝑜𝛹(𝑣	𝑃𝑟𝑜𝛹(𝑣	PROPN
iajs-3023	210	13	)	)	PUNCT
iajs-3023	210	14	,	,	PUNCT
iajs-3023	210	15	𝑥𝑛	𝑥𝑛	VERB
iajs-3023	210	16	−	−	PROPN
iajs-3023	210	17	𝑃𝑟𝑜𝛹(𝑣	𝑃𝑟𝑜𝛹(𝑣	PROPN
iajs-3023	210	18	)	)	PUNCT
iajs-3023	210	19	>	>	X
iajs-3023	211	1	=	=	PUNCT
iajs-3023	211	2	lim	lim	PROPN
iajs-3023	211	3	𝑘→∞	𝑘→∞	NUM
iajs-3023	211	4	<	<	X
iajs-3023	211	5	𝑣	𝑣	DET
iajs-3023	211	6	−	−	PROPN
iajs-3023	211	7	𝑃𝑟𝑜𝛹(𝑣	𝑃𝑟𝑜𝛹(𝑣	PROPN
iajs-3023	211	8	)	)	PUNCT
iajs-3023	211	9	,	,	PUNCT
iajs-3023	211	10	𝑥𝑛𝑘	𝑥𝑛𝑘	NOUN
iajs-3023	211	11	−	−	PROPN
iajs-3023	211	12	𝑃𝑟𝑜𝛹(𝑣	𝑃𝑟𝑜𝛹(𝑣	PROPN
iajs-3023	211	13	)	)	PUNCT
iajs-3023	211	14	>	>	PUNCT
iajs-3023	211	15	.	.	PUNCT
iajs-3023	212	1	=	=	PUNCT
iajs-3023	212	2	<	<	X
iajs-3023	212	3	𝑣	𝑣	DET
iajs-3023	212	4	−	−	PROPN
iajs-3023	212	5	𝑃𝑟𝑜𝛹(𝑣	𝑃𝑟𝑜𝛹(𝑣	PROPN
iajs-3023	212	6	)	)	PUNCT
iajs-3023	212	7	,	,	PUNCT
iajs-3023	212	8	𝑥∗	𝑥∗	PROPN
iajs-3023	212	9	−	−	PROPN
iajs-3023	212	10	𝑃𝑟𝑜𝛹(𝑣	𝑃𝑟𝑜𝛹(𝑣	PROPN
iajs-3023	212	11	)	)	PUNCT
iajs-3023	212	12	≤	≤	NOUN
iajs-3023	212	13	0	0	NUM
iajs-3023	212	14	.	.	PUNCT
iajs-3023	213	1	ihjpas	ihjpas	PROPN
iajs-3023	213	2	.	.	PUNCT
iajs-3023	214	1	36(2)2023	36(2)2023	NUM
iajs-3023	214	2	373	373	NUM
iajs-3023	214	3	finally	finally	ADV
iajs-3023	214	4	,	,	PUNCT
iajs-3023	214	5	we	we	PRON
iajs-3023	214	6	show	show	VERB
iajs-3023	214	7	that	that	SCONJ
iajs-3023	214	8	‖𝑥𝑛	‖𝑥𝑛	NUM
iajs-3023	214	9	−	−	PROPN
iajs-3023	214	10	𝑃𝑟𝑜𝛹(𝑣)‖	𝑃𝑟𝑜𝛹(𝑣)‖	NOUN
iajs-3023	214	11	→	→	SYM
iajs-3023	214	12	0	0	NUM
iajs-3023	214	13	.	.	PUNCT
iajs-3023	215	1	from	from	ADP
iajs-3023	215	2	lemma	lemma	PROPN
iajs-3023	215	3	,	,	PUNCT
iajs-3023	215	4	we	we	PRON
iajs-3023	215	5	have	have	VERB
iajs-3023	215	6	‖𝑥𝑛+1	‖𝑥𝑛+1	INTJ
iajs-3023	215	7	−	−	NUM
iajs-3023	215	8	𝑃𝑟𝑜𝑠(𝑣)‖2	𝑃𝑟𝑜𝑠(𝑣)‖2	NOUN
iajs-3023	215	9	=	=	SYM
iajs-3023	215	10	‖𝘘𝑛𝑃𝑟𝑜𝛹𝑥	‖𝘘𝑛𝑃𝑟𝑜𝛹𝑥	NOUN
iajs-3023	215	11	+	+	SYM
iajs-3023	216	1	(	(	PUNCT
iajs-3023	216	2	1	1	NUM
iajs-3023	216	3	−	−	NOUN
iajs-3023	216	4	𝘘𝑛)𝑦𝑛	𝘘𝑛)𝑦𝑛	NOUN
iajs-3023	216	5	𝑚	𝑚	ADP
iajs-3023	216	6	−	−	PROPN
iajs-3023	216	7	𝑃𝑟𝑜𝛹(𝑣)‖2	𝑃𝑟𝑜𝛹(𝑣)‖2	PROPN
iajs-3023	216	8	=	=	SYM
iajs-3023	216	9	‖𝘘𝑛𝑃𝑟𝑜𝛹𝑥	‖𝘘𝑛𝑃𝑟𝑜𝛹𝑥	PROPN
iajs-3023	216	10	+	+	SYM
iajs-3023	217	1	(	(	PUNCT
iajs-3023	217	2	1	1	NUM
iajs-3023	217	3	−	−	NOUN
iajs-3023	217	4	𝘘𝑛)𝑦𝑛	𝘘𝑛)𝑦𝑛	NOUN
iajs-3023	217	5	𝑚	𝑚	ADP
iajs-3023	217	6	−	−	PROPN
iajs-3023	217	7	[	[	X
iajs-3023	217	8	(	(	PUNCT
iajs-3023	217	9	1	1	NUM
iajs-3023	217	10	−	−	NOUN
iajs-3023	217	11	𝘘𝑛)𝑃𝑟𝑜𝛹(𝑣	𝘘𝑛)𝑃𝑟𝑜𝛹(𝑣	NOUN
iajs-3023	217	12	)	)	PUNCT
iajs-3023	217	13	−	−	PROPN
iajs-3023	218	1	𝘘𝑛	𝘘𝑛	PROPN
iajs-3023	218	2	𝑃𝑟𝑜𝛹(𝑣)]‖2	𝑃𝑟𝑜𝛹(𝑣)]‖2	VERB
iajs-3023	218	3	≤	≤	NUM
iajs-3023	218	4	‖𝘘𝑛(𝑃𝑟𝑜𝑠𝑥	‖𝘘𝑛(𝑃𝑟𝑜𝑠𝑥	X
iajs-3023	218	5	−	−	PROPN
iajs-3023	218	6	𝑃𝑟𝑜𝑠(𝑣	𝑃𝑟𝑜𝑠(𝑣	PROPN
iajs-3023	218	7	)	)	PUNCT
iajs-3023	219	1	+	+	CCONJ
iajs-3023	219	2	(	(	PUNCT
iajs-3023	219	3	1	1	NUM
iajs-3023	219	4	−	−	PROPN
iajs-3023	219	5	𝘘𝑛)(𝑦𝑛	𝘘𝑛)(𝑦𝑛	NOUN
iajs-3023	219	6	𝑚	𝑚	NOUN
iajs-3023	219	7	−	−	PROPN
iajs-3023	219	8	𝑃𝑟𝑜𝑠(𝑣	𝑃𝑟𝑜𝑠(𝑣	PROPN
iajs-3023	219	9	)	)	PUNCT
iajs-3023	219	10	)	)	PUNCT
iajs-3023	220	1	‖2	‖2	NOUN
iajs-3023	220	2	≤	≤	NUM
iajs-3023	220	3	(	(	PUNCT
iajs-3023	220	4	1	1	NUM
iajs-3023	220	5	−	−	NOUN
iajs-3023	220	6	𝘘𝑛)‖𝑦𝑛	𝘘𝑛)‖𝑦𝑛	NOUN
iajs-3023	220	7	𝑚	𝑚	ADP
iajs-3023	220	8	−	−	PROPN
iajs-3023	220	9	𝑃𝑟𝑜𝛹(𝑣)‖2	𝑃𝑟𝑜𝛹(𝑣)‖2	PROPN
iajs-3023	221	1	+	+	CCONJ
iajs-3023	221	2	𝘘𝑛‖	𝘘𝑛‖	ADV
iajs-3023	222	1	𝑥	𝑥	DET
iajs-3023	222	2	−	−	PUNCT
iajs-3023	222	3	𝑃𝑟𝑜𝛹(𝑣)‖2	𝑃𝑟𝑜𝛹(𝑣)‖2	PROPN
iajs-3023	222	4	≤	≤	NOUN
iajs-3023	222	5	(	(	PUNCT
iajs-3023	222	6	1	1	NUM
iajs-3023	222	7	−	−	NOUN
iajs-3023	222	8	𝘘𝑛)‖𝑥𝑛	𝘘𝑛)‖𝑥𝑛	NOUN
iajs-3023	222	9	−	−	PROPN
iajs-3023	222	10	𝑃𝑟𝑜𝛹(𝑣)‖2	𝑃𝑟𝑜𝛹(𝑣)‖2	PROPN
iajs-3023	222	11	+	+	CCONJ
iajs-3023	222	12	𝘘𝑛‖	𝘘𝑛‖	ADV
iajs-3023	222	13	𝑥	𝑥	PRON
iajs-3023	222	14	−	−	X
iajs-3023	222	15	𝑃𝑟𝑜𝛹(𝑣)‖2	𝑃𝑟𝑜𝛹(𝑣)‖2	PROPN
iajs-3023	222	16	that	that	SCONJ
iajs-3023	222	17	‖𝑥𝑛+1	‖𝑥𝑛+1	PUNCT
iajs-3023	222	18	−	−	PROPN
iajs-3023	222	19	𝑃𝑟𝑜𝛹(𝑣)‖	𝑃𝑟𝑜𝛹(𝑣)‖	NOUN
iajs-3023	222	20	→	→	SYM
iajs-3023	222	21	0	0	PROPN
iajs-3023	222	22	𝑎𝑠	𝑎𝑠	PROPN
iajs-3023	222	23	𝑛	𝑛	PROPN
iajs-3023	222	24	→	→	PUNCT
iajs-3023	222	25	∞.	∞.	PROPN
iajs-3023	222	26	this	this	PRON
iajs-3023	222	27	completes	complete	VERB
iajs-3023	222	28	the	the	DET
iajs-3023	222	29	proof	proof	NOUN
iajs-3023	222	30	.	.	PUNCT
iajs-3023	223	1	corollary	corollary	ADJ
iajs-3023	223	2	:	:	PUNCT
iajs-3023	223	3	2.2	2.2	NUM
iajs-3023	223	4	.if	.if	PUNCT
iajs-3023	224	1	ℳ𝑖	ℳ𝑖	PROPN
iajs-3023	224	2	are	be	AUX
iajs-3023	224	3	m.m	m.m	PROPN
iajs-3023	224	4	.	.	PROPN
iajs-3023	224	5	operators	operator	NOUN
iajs-3023	224	6	such	such	ADJ
iajs-3023	224	7	that	that	SCONJ
iajs-3023	224	8	𝐹(𝑃𝑟𝑜𝑠	𝐹(𝑃𝑟𝑜𝑠	NOUN
iajs-3023	224	9	)	)	PUNCT
iajs-3023	225	1	⋂	⋂	PROPN
iajs-3023	225	2	ℳ𝑖	ℳ𝑖	PROPN
iajs-3023	225	3	−10	−10	PUNCT
iajs-3023	225	4	≠	≠	PROPN
iajs-3023	225	5	∅𝑙	∅𝑙	VERB
iajs-3023	225	6	𝑖=1	𝑖=1	PROPN
iajs-3023	225	7	under	under	ADP
iajs-3023	225	8	(	(	PUNCT
iajs-3023	225	9	i	i	PROPN
iajs-3023	225	10	-	-	PUNCT
iajs-3023	225	11	ii	ii	NOUN
iajs-3023	225	12	)	)	PUNCT
iajs-3023	225	13	in	in	ADP
iajs-3023	225	14	theorem	theorem	NOUN
iajs-3023	225	15	(	(	PUNCT
iajs-3023	225	16	3.1	3.1	NUM
iajs-3023	225	17	)	)	PUNCT
iajs-3023	225	18	.	.	PUNCT
iajs-3023	226	1	then	then	ADV
iajs-3023	226	2	{	{	PUNCT
iajs-3023	226	3	𝑥𝑛	𝑥𝑛	AUX
iajs-3023	226	4	}	}	PUNCT
iajs-3023	226	5	defined	define	VERB
iajs-3023	226	6	by	by	ADP
iajs-3023	226	7	𝑥	𝑥	DET
iajs-3023	226	8	∈	∈	PROPN
iajs-3023	226	9	𝐶	𝐶	PROPN
iajs-3023	226	10	and	and	CCONJ
iajs-3023	226	11	{	{	PUNCT
iajs-3023	226	12	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	226	13	𝑖−1	𝑖−1	PROPN
iajs-3023	226	14	=	=	SYM
iajs-3023	226	15	𝘚𝑛𝑖(𝑥𝑛	𝘚𝑛𝑖(𝑥𝑛	PROPN
iajs-3023	226	16	)	)	PUNCT
iajs-3023	227	1	+	+	CCONJ
iajs-3023	227	2	(	(	PUNCT
iajs-3023	227	3	1	1	NUM
iajs-3023	227	4	−	−	PROPN
iajs-3023	227	5	𝘚𝑛𝑖	𝘚𝑛𝑖	PROPN
iajs-3023	227	6	)	)	PUNCT
iajs-3023	227	7	(	(	PUNCT
iajs-3023	227	8	𝑥𝑛	𝑥𝑛	NOUN
iajs-3023	227	9	)	)	PUNCT
iajs-3023	227	10	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	227	11	𝑚	𝑚	NOUN
iajs-3023	227	12	=	=	SYM
iajs-3023	227	13	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	227	14	𝑦𝑛	𝑦𝑛	VERB
iajs-3023	227	15	0	0	NUM
iajs-3023	228	1	+	+	CCONJ
iajs-3023	228	2	∑	∑	PROPN
iajs-3023	228	3	𝘙𝑛𝑖	𝘙𝑛𝑖	PROPN
iajs-3023	228	4	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	NOUN
iajs-3023	228	5	𝑖−1𝑙	𝑖−1𝑙	PRON
iajs-3023	228	6	𝑖=2	𝑖=2	PUNCT
iajs-3023	228	7	𝑥𝑛+1	𝑥𝑛+1	NOUN
iajs-3023	228	8	=	=	SYM
iajs-3023	228	9	𝘘𝑛𝑃𝑟𝑜𝛹𝑥	𝘘𝑛𝑃𝑟𝑜𝛹𝑥	NOUN
iajs-3023	228	10	+	+	CCONJ
iajs-3023	228	11	(	(	PUNCT
iajs-3023	228	12	1	1	NUM
iajs-3023	228	13	−	−	NOUN
iajs-3023	228	14	𝘘𝑛)𝑦𝑛	𝘘𝑛)𝑦𝑛	PROPN
iajs-3023	228	15	𝑚	𝑚	NOUN
iajs-3023	228	16	,	,	PUNCT
iajs-3023	228	17	𝑛	𝑛	PROPN
iajs-3023	228	18	,	,	PUNCT
iajs-3023	228	19	𝑚	𝑚	X
iajs-3023	228	20	≥	≥	NUM
iajs-3023	228	21	0	0	NUM
iajs-3023	228	22	convergess	convergess	ADJ
iajs-3023	228	23	to	to	ADP
iajs-3023	228	24	𝑃𝑟𝑜𝛹𝑥	𝑃𝑟𝑜𝛹𝑥	PROPN
iajs-3023	228	25	.	.	PUNCT
iajs-3023	229	1	corollary	corollary	ADJ
iajs-3023	229	2	:	:	PUNCT
iajs-3023	230	1	2.3	2.3	NUM
iajs-3023	230	2	.if	.if	X
iajs-3023	231	1	ℳ𝑖	ℳ𝑖	PROPN
iajs-3023	231	2	are	be	AUX
iajs-3023	231	3	m.m	m.m	PROPN
iajs-3023	231	4	.	.	PROPN
iajs-3023	231	5	operators	operator	NOUN
iajs-3023	231	6	such	such	ADJ
iajs-3023	231	7	that	that	SCONJ
iajs-3023	231	8	ℳ𝑖	ℳ𝑖	PROPN
iajs-3023	231	9	−10	−10	X
iajs-3023	231	10	≠	≠	PROPN
iajs-3023	231	11	∅.under	∅.under	PROPN
iajs-3023	231	12	(	(	PUNCT
iajs-3023	231	13	i	i	PROPN
iajs-3023	231	14	-	-	PUNCT
iajs-3023	231	15	ii	ii	NOUN
iajs-3023	231	16	)	)	PUNCT
iajs-3023	231	17	in	in	ADP
iajs-3023	231	18	theorem	theorem	NOUN
iajs-3023	231	19	(	(	PUNCT
iajs-3023	231	20	3.1	3.1	NUM
iajs-3023	231	21	)	)	PUNCT
iajs-3023	231	22	.	.	PUNCT
iajs-3023	232	1	then	then	ADV
iajs-3023	232	2	the	the	DET
iajs-3023	232	3	sequences	sequence	NOUN
iajs-3023	232	4	{	{	PUNCT
iajs-3023	232	5	𝑥𝑛	𝑥𝑛	NOUN
iajs-3023	232	6	}	}	PUNCT
iajs-3023	232	7	defined	define	VERB
iajs-3023	232	8	by	by	ADP
iajs-3023	232	9	𝑥	𝑥	DET
iajs-3023	232	10	∈	∈	PROPN
iajs-3023	232	11	𝐶	𝐶	PROPN
iajs-3023	232	12	and	and	CCONJ
iajs-3023	232	13	{	{	PUNCT
iajs-3023	232	14	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	232	15	𝑖−1	𝑖−1	PROPN
iajs-3023	232	16	=	=	SYM
iajs-3023	232	17	𝘚𝑛𝑖(𝑥𝑛	𝘚𝑛𝑖(𝑥𝑛	PROPN
iajs-3023	232	18	)	)	PUNCT
iajs-3023	232	19	+	+	CCONJ
iajs-3023	232	20	(	(	PUNCT
iajs-3023	232	21	1	1	NUM
iajs-3023	232	22	−	−	PROPN
iajs-3023	232	23	𝘚𝑛𝑖	𝘚𝑛𝑖	PROPN
iajs-3023	232	24	)	)	PUNCT
iajs-3023	232	25	(	(	PUNCT
iajs-3023	232	26	𝑥𝑛	𝑥𝑛	NOUN
iajs-3023	232	27	)	)	PUNCT
iajs-3023	232	28	𝑦𝑛	𝑦𝑛	ADP
iajs-3023	232	29	𝑚	𝑚	NOUN
iajs-3023	232	30	=	=	SYM
iajs-3023	232	31	𝘙𝑛1	𝘙𝑛1	NOUN
iajs-3023	232	32	𝑦𝑛	𝑦𝑛	VERB
iajs-3023	232	33	0	0	NUM
iajs-3023	233	1	+	+	CCONJ
iajs-3023	233	2	∑	∑	PROPN
iajs-3023	233	3	𝘙	𝘙	PROPN
iajs-3023	233	4	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	𝑅𝑒𝑠𝑖,𝑛𝑦𝑛	PROPN
iajs-3023	233	5	𝑖−1𝑙	𝑖−1𝑙	VERB
iajs-3023	233	6	𝑖=2	𝑖=2	PROPN
iajs-3023	233	7	𝑥𝑛+1	𝑥𝑛+1	NOUN
iajs-3023	233	8	=	=	SYM
iajs-3023	233	9	𝘘𝑛𝑥	𝘘𝑛𝑥	PROPN
iajs-3023	233	10	+	+	CCONJ
iajs-3023	233	11	(	(	PUNCT
iajs-3023	233	12	1	1	NUM
iajs-3023	233	13	−	−	PROPN
iajs-3023	233	14	𝘘𝑛)𝑦𝑛	𝘘𝑛)𝑦𝑛	PROPN
iajs-3023	233	15	𝑚	𝑚	NOUN
iajs-3023	233	16	,	,	PUNCT
iajs-3023	233	17	𝑛	𝑛	PROPN
iajs-3023	233	18	,	,	PUNCT
iajs-3023	233	19	𝑚	𝑚	X
iajs-3023	233	20	≥	≥	NUM
iajs-3023	233	21	0	0	NUM
iajs-3023	233	22	s	s	NOUN
iajs-3023	233	23	-	-	PUNCT
iajs-3023	233	24	converges	converge	NOUN
iajs-3023	233	25	to	to	ADP
iajs-3023	233	26	𝑥	𝑥	PRON
iajs-3023	233	27	.	.	PUNCT
iajs-3023	234	1	3	3	X
iajs-3023	234	2	.	.	X
iajs-3023	234	3	conclusion	conclusion	NOUN
iajs-3023	234	4	in	in	ADP
iajs-3023	234	5	this	this	DET
iajs-3023	234	6	article	article	NOUN
iajs-3023	234	7	,	,	PUNCT
iajs-3023	234	8	a	a	DET
iajs-3023	234	9	new	new	ADJ
iajs-3023	234	10	iterative	iterative	NOUN
iajs-3023	234	11	methods	method	NOUN
iajs-3023	234	12	of	of	ADP
iajs-3023	234	13	approximation	approximation	NOUN
iajs-3023	234	14	fixed	fix	VERB
iajs-3023	234	15	point	point	NOUN
iajs-3023	234	16	are	be	AUX
iajs-3023	234	17	presented	present	VERB
iajs-3023	234	18	.	.	PUNCT
iajs-3023	235	1	on	on	ADP
iajs-3023	235	2	the	the	DET
iajs-3023	235	3	other	other	ADJ
iajs-3023	235	4	hand	hand	NOUN
iajs-3023	235	5	,	,	PUNCT
iajs-3023	235	6	the	the	DET
iajs-3023	235	7	s	s	NOUN
iajs-3023	235	8	-	-	NOUN
iajs-3023	235	9	convergence	convergence	NOUN
iajs-3023	235	10	by	by	ADP
iajs-3023	235	11	using	use	VERB
iajs-3023	235	12	multivalued	multivalued	ADJ
iajs-3023	235	13	operators	operator	NOUN
iajs-3023	235	14	also	also	ADV
iajs-3023	235	15	proven	prove	VERB
iajs-3023	235	16	.	.	PUNCT
iajs-3023	236	1	references	reference	NOUN
iajs-3023	236	2	1	1	NUM
iajs-3023	236	3	.	.	X
iajs-3023	236	4	bruck	bruck	NOUN
iajs-3023	236	5	,	,	PUNCT
iajs-3023	236	6	e.	e.	PROPN
iajs-3023	236	7	,	,	PUNCT
iajs-3023	236	8	a	a	DET
iajs-3023	236	9	strongly	strongly	ADV
iajs-3023	236	10	convergent	convergent	ADJ
iajs-3023	236	11	iterative	iterative	NOUN
iajs-3023	236	12	solution	solution	NOUN
iajs-3023	236	13	for	for	ADP
iajs-3023	236	14	a	a	DET
iajs-3023	236	15	maximal	maximal	ADJ
iajs-3023	236	16	monotone	monotone	NOUN
iajs-3023	236	17	operator	operator	NOUN
iajs-3023	236	18	in	in	ADP
iajs-3023	236	19	hilbert	hilbert	PROPN
iajs-3023	236	20	space	space	NOUN
iajs-3023	236	21	,	,	PUNCT
iajs-3023	236	22	j.	j.	PROPN
iajs-3023	236	23	math	math	PROPN
iajs-3023	236	24	.	.	PUNCT
iajs-3023	237	1	anal	anal	PROPN
iajs-3023	237	2	.	.	PUNCT
iajs-3023	237	3	appl	appl	PROPN
iajs-3023	237	4	.	.	PUNCT
iajs-3023	238	1	1974,48,114	1974,48,114	PROPN
iajs-3023	238	2	-126	-126	PROPN
iajs-3023	238	3	.	.	PUNCT
iajs-3023	239	1	2	2	X
iajs-3023	239	2	.	.	X
iajs-3023	239	3	rockafellar	rockafellar	ADJ
iajs-3023	239	4	,	,	PUNCT
iajs-3023	239	5	t.	t.	NOUN
iajs-3023	239	6	,	,	PUNCT
iajs-3023	239	7	monotone	monotone	ADJ
iajs-3023	239	8	operator	operator	NOUN
iajs-3023	239	9	and	and	CCONJ
iajs-3023	239	10	the	the	DET
iajs-3023	239	11	proximal	proximal	ADJ
iajs-3023	239	12	point	point	NOUN
iajs-3023	239	13	algorithm	algorithm	NOUN
iajs-3023	239	14	,	,	PUNCT
iajs-3023	239	15	siam	siam	PROPN
iajs-3023	239	16	j.	j.	PROPN
iajs-3023	239	17	control	control	PROPN
iajs-3023	239	18	optim	optim	PROPN
iajs-3023	239	19	.	.	PUNCT
iajs-3023	240	1	1976	1976	NUM
iajs-3023	240	2	,	,	PUNCT
iajs-3023	240	3	14,877	14,877	NUM
iajs-3023	240	4	–	–	PUNCT
iajs-3023	240	5	898	898	NUM
iajs-3023	240	6	.	.	PUNCT
iajs-3023	241	1	3	3	X
iajs-3023	241	2	.	.	X
iajs-3023	241	3	rockafellar.t	rockafellar.t	PROPN
iajs-3023	241	4	.	.	PROPN
iajs-3023	241	5	,	,	PUNCT
iajs-3023	241	6	monotone	monotone	ADJ
iajs-3023	241	7	operators	operator	NOUN
iajs-3023	241	8	and	and	CCONJ
iajs-3023	241	9	proximal	proximal	ADJ
iajs-3023	241	10	point	point	NOUN
iajs-3023	241	11	algorithm	algorithm	NOUN
iajs-3023	241	12	,	,	PUNCT
iajs-3023	241	13	siam	siam	PROPN
iajs-3023	241	14	j.	j.	PROPN
iajs-3023	241	15	control	control	PROPN
iajs-3023	241	16	optim	optim	PROPN
iajs-3023	241	17	.	.	PUNCT
iajs-3023	241	18	,	,	PUNCT
iajs-3023	242	1	1976,14	1976,14	ADV
iajs-3023	242	2	,	,	PUNCT
iajs-3023	242	3	887	887	NUM
iajs-3023	242	4	-	-	SYM
iajs-3023	242	5	897	897	NUM
iajs-3023	242	6	.	.	PUNCT
iajs-3023	243	1	4	4	NUM
iajs-3023	243	2	.	.	NUM
iajs-3023	243	3	fattorini	fattorini	PROPN
iajs-3023	243	4	,	,	PUNCT
iajs-3023	243	5	o.	o.	INTJ
iajs-3023	243	6	,	,	PUNCT
iajs-3023	243	7	infinite	infinite	ADJ
iajs-3023	243	8	-	-	PUNCT
iajs-3023	243	9	dimensional	dimensional	ADJ
iajs-3023	243	10	optimaization	optimaization	NOUN
iajs-3023	243	11	and	and	CCONJ
iajs-3023	243	12	control	control	NOUN
iajs-3023	243	13	theory	theory	NOUN
iajs-3023	243	14	,	,	PUNCT
iajs-3023	243	15	cambridge	cambridge	PROPN
iajs-3023	243	16	university	university	PROPN
iajs-3023	243	17	press	press	NOUN
iajs-3023	243	18	,	,	PUNCT
iajs-3023	243	19	cambrige	cambrige	NOUN
iajs-3023	243	20	,	,	PUNCT
iajs-3023	243	21	1999	1999	NUM
iajs-3023	243	22	.	.	PUNCT
iajs-3023	244	1	5	5	NUM
iajs-3023	244	2	.	.	X
iajs-3023	244	3	moudafi	moudafi	PROPN
iajs-3023	244	4	.	.	PUNCT
iajs-3023	245	1	a.	a.	PROPN
iajs-3023	245	2	,	,	PUNCT
iajs-3023	245	3	viscosity	viscosity	NOUN
iajs-3023	245	4	approximation	approximation	NOUN
iajs-3023	245	5	methods	method	NOUN
iajs-3023	245	6	for	for	ADP
iajs-3023	245	7	fixed	fix	VERB
iajs-3023	245	8	-	-	PUNCT
iajs-3023	245	9	point	point	NOUN
iajs-3023	245	10	proplems	proplem	NOUN
iajs-3023	245	11	,	,	PUNCT
iajs-3023	245	12	j.	j.	PROPN
iajs-3023	245	13	math	math	PROPN
iajs-3023	245	14	.	.	PUNCT
iajs-3023	246	1	anal	anal	PROPN
iajs-3023	246	2	.	.	PUNCT
iajs-3023	246	3	appl	appl	PROPN
iajs-3023	246	4	.	.	PROPN
iajs-3023	247	1	2000	2000	NUM
iajs-3023	247	2	,	,	PUNCT
iajs-3023	247	3	241	241	NUM
iajs-3023	247	4	,	,	PUNCT
iajs-3023	247	5	46	46	NUM
iajs-3023	247	6	-	-	SYM
iajs-3023	247	7	55	55	NUM
iajs-3023	247	8	,	,	PUNCT
iajs-3023	247	9	.	.	PUNCT
iajs-3023	248	1	6	6	X
iajs-3023	248	2	.	.	X
iajs-3023	248	3	hugh	hugh	PROPN
iajs-3023	248	4	.	.	PROPN
iajs-3023	248	5	r.	r.	PROPN
iajs-3023	248	6	;	;	PUNCT
iajs-3023	248	7	malik	malik	PROPN
iajs-3023	248	8	,	,	PUNCT
iajs-3023	248	9	p.	p.	PROPN
iajs-3023	248	10	;	;	PUNCT
iajs-3023	248	11	kumar	kumar	PROPN
iajs-3023	248	12	,	,	PUNCT
iajs-3023	248	13	v.	v.	X
iajs-3023	248	14	on	on	ADP
iajs-3023	248	15	a	a	DET
iajs-3023	248	16	new	new	ADJ
iajs-3023	248	17	faster	fast	ADV
iajs-3023	248	18	implicit	implicit	ADJ
iajs-3023	248	19	fixed	fix	VERB
iajs-3023	248	20	point	point	NOUN
iajs-3023	248	21	iterative	iterative	NOUN
iajs-3023	248	22	scheme	scheme	NOUN
iajs-3023	248	23	inconvex	inconvex	NOUN
iajs-3023	248	24	metric	metric	ADJ
iajs-3023	248	25	space	space	NOUN
iajs-3023	248	26	.	.	PUNCT
iajs-3023	249	1	j.	j.	PROPN
iajs-3023	249	2	funct	funct	PROPN
iajs-3023	249	3	.	.	PUNCT
iajs-3023	250	1	spaces	space	VERB
iajs-3023	250	2	2015	2015	NUM
iajs-3023	250	3	.	.	PUNCT
iajs-3023	251	1	7	7	X
iajs-3023	251	2	.	.	X
iajs-3023	251	3	khan	khan	PROPN
iajs-3023	251	4	,	,	PUNCT
iajs-3023	251	5	r.	r.	PROPN
iajs-3023	251	6	;	;	PUNCT
iajs-3023	251	7	kumar	kumar	PROPN
iajs-3023	251	8	,	,	PUNCT
iajs-3023	251	9	v.;nawal	v.;nawal	PROPN
iajs-3023	251	10	,	,	PUNCT
iajs-3023	251	11	s.	s.	PROPN
iajs-3023	251	12	;	;	PUNCT
iajs-3023	252	1	chugh	chugh	NOUN
iajs-3023	252	2	,	,	PUNCT
iajs-3023	252	3	r.	r.	PROPN
iajs-3023	252	4	,	,	PUNCT
iajs-3023	252	5	random	random	ADJ
iajs-3023	252	6	iterative	iterative	NOUN
iajs-3023	252	7	algorithms	algorithm	NOUN
iajs-3023	252	8	and	and	CCONJ
iajs-3023	252	9	almost	almost	ADV
iajs-3023	252	10	surestability	surestability	NOUN
iajs-3023	252	11	in	in	ADP
iajs-3023	252	12	banach	banach	NOUN
iajs-3023	252	13	space	space	NOUN
iajs-3023	252	14	,	,	PUNCT
iajs-3023	252	15	filomat,2017	filomat,2017	NOUN
iajs-3023	252	16	,	,	PUNCT
iajs-3023	252	17	31	31	NUM
iajs-3023	252	18	,	,	PUNCT
iajs-3023	252	19	3611	3611	NUM
iajs-3023	252	20	-	-	SYM
iajs-3023	252	21	3626	3626	NUM
iajs-3023	252	22	.	.	PUNCT
iajs-3023	253	1	8	8	X
iajs-3023	253	2	.	.	X
iajs-3023	254	1	kumar	kumar	PROPN
iajs-3023	254	2	,	,	PUNCT
iajs-3023	254	3	v.	v.	PROPN
iajs-3023	254	4	;	;	PUNCT
iajs-3023	254	5	hussain	hussain	PROPN
iajs-3023	254	6	,	,	PUNCT
iajs-3023	254	7	n.	n.	PROPN
iajs-3023	254	8	;	;	PUNCT
iajs-3023	254	9	malik	malik	PROPN
iajs-3023	254	10	,	,	PUNCT
iajs-3023	254	11	p.	p.	NOUN
iajs-3023	254	12	;	;	PUNCT
iajs-3023	254	13	chugh	chugh	NOUN
iajs-3023	254	14	,	,	PUNCT
iajs-3023	254	15	r.jungck	r.jungck	NOUN
iajs-3023	254	16	-	-	PUNCT
iajs-3023	254	17	type	type	NOUN
iajs-3023	254	18	implicit	implicit	ADJ
iajs-3023	254	19	iterative	iterative	NOUN
iajs-3023	254	20	algorithms	algorithm	NOUN
iajs-3023	254	21	with	with	ADP
iajs-3023	254	22	numerical	numerical	ADJ
iajs-3023	254	23	example	example	PROPN
iajs-3023	254	24	,	,	PUNCT
iajs-3023	254	25	filomat	filomat	PROPN
iajs-3023	254	26	,	,	PUNCT
iajs-3023	254	27	2017,31	2017,31	NUM
iajs-3023	254	28	,	,	PUNCT
iajs-3023	254	29	2303	2303	NUM
iajs-3023	254	30	-	-	SYM
iajs-3023	254	31	2320	2320	NUM
iajs-3023	254	32	.	.	PUNCT
iajs-3023	255	1	9	9	NUM
iajs-3023	255	2	.	.	X
iajs-3023	256	1	zena	zena	PROPN
iajs-3023	256	2	,	,	PUNCT
iajs-3023	256	3	m	m	PROPN
iajs-3023	256	4	;	;	PUNCT
iajs-3023	256	5	alaa	alaa	PROPN
iajs-3023	256	6	,	,	PUNCT
iajs-3023	256	7	a	a	X
iajs-3023	256	8	,	,	PUNCT
iajs-3023	256	9	on	on	ADP
iajs-3023	256	10	the	the	DET
iajs-3023	256	11	convergence	convergence	NOUN
iajs-3023	256	12	of	of	ADP
iajs-3023	256	13	new	new	ADJ
iajs-3023	256	14	iteration	iteration	NOUN
iajs-3023	256	15	schemes	scheme	NOUN
iajs-3023	256	16	by	by	ADP
iajs-3023	256	17	resolvent	resolvent	ADJ
iajs-3023	256	18	za	za	PROPN
iajs-3023	256	19	-	-	PROPN
iajs-3023	256	20	jungck	jungck	PROPN
iajs-3023	256	21	mapping	mapping	NOUN
iajs-3023	256	22	,	,	PUNCT
iajs-3023	256	23	journal	journal	NOUN
iajs-3023	256	24	of	of	ADP
iajs-3023	256	25	interdisciplinary	interdisciplinary	ADJ
iajs-3023	256	26	mathematics	mathematic	NOUN
iajs-3023	256	27	,	,	PUNCT
iajs-3023	256	28	to	to	PART
iajs-3023	256	29	appear	appear	VERB
iajs-3023	256	30	,	,	PUNCT
iajs-3023	256	31	2022	2022	NUM
iajs-3023	256	32	.	.	PUNCT
iajs-3023	257	1	10	10	NUM
iajs-3023	257	2	.	.	PUNCT
iajs-3023	257	3	maibed	maibe	VERB
iajs-3023	257	4	,	,	PUNCT
iajs-3023	257	5	h.	h.	PROPN
iajs-3023	257	6	;	;	PUNCT
iajs-3023	258	1	hussein	hussein	PROPN
iajs-3023	258	2	,	,	PUNCT
iajs-3023	258	3	s.	s.	PROPN
iajs-3023	258	4	,	,	PUNCT
iajs-3023	258	5	approximation	approximation	NOUN
iajs-3023	258	6	fixed	fix	VERB
iajs-3023	258	7	point	point	NOUN
iajs-3023	258	8	theorems	theorem	NOUN
iajs-3023	258	9	via	via	ADP
iajs-3023	258	10	generalized	generalize	VERB
iajs-3023	258	11	like	like	ADP
iajs-3023	258	12	contraction	contraction	NOUN
iajs-3023	258	13	mappings	mapping	NOUN
iajs-3023	258	14	,	,	PUNCT
iajs-3023	258	15	aip	aip	PROPN
iajs-3023	258	16	conference	conference	NOUN
iajs-3023	258	17	proceedings	proceeding	NOUN
iajs-3023	258	18	2022	2022	NUM
iajs-3023	258	19	,	,	PUNCT
iajs-3023	258	20	2398	2398	NUM
iajs-3023	258	21	,	,	PUNCT
iajs-3023	258	22	060081	060081	NUM
iajs-3023	258	23	.	.	PUNCT
iajs-3023	259	1	https://aip.scitation.org/author/maibed%2c+zena+hussein	https://aip.scitation.org/author/maibed%2c+zena+hussein	PRON
iajs-3023	259	2	https://aip.scitation.org/author/hussein%2c+saad+shakeir	https://aip.scitation.org/author/hussein%2c+saad+shakeir	PRON
iajs-3023	259	3	ihjpas	ihjpa	VERB
iajs-3023	259	4	.	.	PUNCT
iajs-3023	260	1	36(2)2023	36(2)2023	NUM
iajs-3023	260	2	374	374	NUM
iajs-3023	260	3	11	11	NUM
iajs-3023	260	4	.	.	PUNCT
iajs-3023	261	1	dadashi	dadashi	PROPN
iajs-3023	261	2	,	,	PUNCT
iajs-3023	261	3	v.;postolache	v.;postolache	NOUN
iajs-3023	261	4	,	,	PUNCT
iajs-3023	261	5	m.	m.	NOUN
iajs-3023	261	6	forward	forward	ADJ
iajs-3023	261	7	-	-	PUNCT
iajs-3023	261	8	backward	backward	ADJ
iajs-3023	261	9	splitting	splitting	NOUN
iajs-3023	261	10	algorithms	algorithm	NOUN
iajs-3023	261	11	for	for	ADP
iajs-3023	261	12	fixed	fix	VERB
iajs-3023	261	13	point	point	NOUN
iajs-3023	261	14	problems	problem	NOUN
iajs-3023	261	15	and	and	CCONJ
iajs-3023	261	16	zeros	zero	NOUN
iajs-3023	261	17	of	of	ADP
iajs-3023	261	18	the	the	DET
iajs-3023	261	19	sum	sum	NOUN
iajs-3023	261	20	of	of	ADP
iajs-3023	261	21	monotone	monotone	ADJ
iajs-3023	261	22	operators	operator	NOUN
iajs-3023	261	23	,	,	PUNCT
iajs-3023	261	24	arab	arab	PROPN
iajs-3023	261	25	.	.	PUNCT
iajs-3023	262	1	j.	j.	PROPN
iajs-3023	262	2	math	math	PROPN
iajs-3023	262	3	.	.	PUNCT
iajs-3023	263	1	2019	2019	NUM
iajs-3023	263	2	,	,	PUNCT
iajs-3023	263	3	1	1	NUM
iajs-3023	263	4	-	-	SYM
iajs-3023	263	5	11	11	NUM
iajs-3023	263	6	.	.	PUNCT
iajs-3023	264	1	12	12	NUM
iajs-3023	264	2	.	.	PUNCT
iajs-3023	265	1	maibed	maibed	PROPN
iajs-3023	265	2	,	,	PUNCT
iajs-3023	265	3	z.	z.	PROPN
iajs-3023	265	4	;	;	PUNCT
iajs-3023	265	5	thajil	thajil	NUM
iajs-3023	265	6	,	,	PUNCT
iajs-3023	265	7	a	a	DET
iajs-3023	265	8	,	,	PUNCT
iajs-3023	265	9	zenali	zenali	VERB
iajs-3023	265	10	iteration	iteration	NOUN
iajs-3023	265	11	method	method	NOUN
iajs-3023	265	12	for	for	ADP
iajs-3023	265	13	approximating	approximate	VERB
iajs-3023	265	14	fixed	fix	VERB
iajs-3023	265	15	point	point	NOUN
iajs-3023	265	16	of	of	ADP
iajs-3023	265	17	za	za	PROPN
iajs-3023	265	18	–	–	PUNCT
iajs-3023	265	19	quasi	quasi	X
iajs-3023	265	20	contractive	contractive	ADJ
iajs-3023	265	21	mappings	mapping	NOUN
iajs-3023	265	22	,	,	PUNCT
iajs-3023	265	23	haitham	haitham	PROPN
iajs-3023	265	24	journal	journal	PROPN
iajs-3023	265	25	for	for	ADP
iajs-3023	265	26	pure	pure	ADJ
iajs-3023	265	27	and	and	CCONJ
iajs-3023	265	28	applied	applied	ADJ
iajs-3023	265	29	science	science	NOUN
iajs-3023	265	30	,	,	PUNCT
iajs-3023	265	31	oct	oct	PROPN
iajs-3023	265	32	20	20	NUM
iajs-3023	265	33	,	,	PUNCT
iajs-3023	265	34	2021	2021	NUM
iajs-3023	265	35	.	.	PUNCT
iajs-3023	266	1	13	13	NUM
iajs-3023	266	2	.	.	PUNCT
iajs-3023	266	3	jamil	jamil	PROPN
iajs-3023	266	4	,	,	PUNCT
iajs-3023	266	5	z.	z.	PROPN
iajs-3023	266	6	;	;	PUNCT
iajs-3023	266	7	abed	abe	VERB
iajs-3023	266	8	,	,	PUNCT
iajs-3023	266	9	b.	b.	PROPN
iajs-3023	266	10	,	,	PUNCT
iajs-3023	266	11	on	on	ADP
iajs-3023	266	12	a	a	DET
iajs-3023	266	13	modified	modify	VERB
iajs-3023	266	14	sp	sp	NOUN
iajs-3023	266	15	-	-	PUNCT
iajs-3023	266	16	iterative	iterative	NOUN
iajs-3023	266	17	scheme	scheme	NOUN
iajs-3023	266	18	for	for	ADP
iajs-3023	266	19	approximating	approximate	VERB
iajs-3023	266	20	fixed	fix	VERB
iajs-3023	266	21	point	point	NOUN
iajs-3023	266	22	of	of	ADP
iajs-3023	266	23	a	a	DET
iajs-3023	266	24	contraction	contraction	NOUN
iajs-3023	266	25	mapping	mapping	NOUN
iajs-3023	266	26	,	,	PUNCT
iajs-3023	266	27	iraqi	iraqi	ADJ
iajs-3023	266	28	journal	journal	NOUN
iajs-3023	266	29	of	of	ADP
iajs-3023	266	30	scienceno	scienceno	PROPN
iajs-3023	266	31	.	.	PUNCT
iajs-3023	267	1	2015	2015	NUM
iajs-3023	267	2	,	,	PUNCT
iajs-3023	267	3	56	56	NUM
iajs-3023	267	4	,	,	PUNCT
iajs-3023	267	5	4b	4b	X
iajs-3023	267	6	,	,	PUNCT
iajs-3023	267	7	3230	3230	NUM
iajs-3023	267	8	-	-	SYM
iajs-3023	267	9	3239,june	3239,june	NUM
iajs-3023	267	10	.	.	PUNCT
iajs-3023	268	1	14.boikanyo	14.boikanyo	NUM
iajs-3023	268	2	.	.	PUNCT
iajs-3023	269	1	a.	a.	NOUN
iajs-3023	269	2	and	and	CCONJ
iajs-3023	269	3	morosanu	morosanu	VERB
iajs-3023	269	4	g.	g.	NOUN
iajs-3023	269	5	,	,	PUNCT
iajs-3023	269	6	a	a	DET
iajs-3023	269	7	contraction	contraction	NOUN
iajs-3023	269	8	proximal	proximal	ADJ
iajs-3023	269	9	point	point	NOUN
iajs-3023	269	10	algorithm	algorithm	NOUN
iajs-3023	269	11	with	with	ADP
iajs-3023	269	12	two	two	NUM
iajs-3023	269	13	monotone	monotone	ADJ
iajs-3023	269	14	operators	operator	NOUN
iajs-3023	269	15	,	,	PUNCT
iajs-3023	269	16	nonlinear	nonlinear	ADJ
iajs-3023	269	17	anal	anal	NOUN
iajs-3023	269	18	.	.	PUNCT
iajs-3023	270	1	(	(	PUNCT
iajs-3023	270	2	tma	tma	PROPN
iajs-3023	270	3	)	)	PUNCT
iajs-3023	270	4	,	,	PUNCT
iajs-3023	270	5	2019	2019	NUM
iajs-3023	270	6	,	,	PUNCT
iajs-3023	270	7	75	75	NUM
iajs-3023	270	8	,	,	PUNCT
iajs-3023	270	9	5686	5686	NUM
iajs-3023	270	10	-	-	SYM
iajs-3023	270	11	5692	5692	NUM
iajs-3023	270	12	.	.	PUNCT
iajs-3023	271	1	15.cholamjiak	15.cholamjiak	NUM
iajs-3023	271	2	,	,	PUNCT
iajs-3023	271	3	p.;suparat	p.;suparat	PROPN
iajs-3023	271	4	,	,	PUNCT
iajs-3023	271	5	k.	k.	PROPN
iajs-3023	271	6	,	,	PUNCT
iajs-3023	271	7	p.	p.	NOUN
iajs-3023	271	8	nattawut	nattawut	PROPN
iajs-3023	271	9	,	,	PUNCT
iajs-3023	271	10	weak	weak	ADJ
iajs-3023	271	11	and	and	CCONJ
iajs-3023	271	12	strong	strong	ADJ
iajs-3023	271	13	convergence	convergence	NOUN
iajs-3023	271	14	theorems	theorem	NOUN
iajs-3023	271	15	for	for	ADP
iajs-3023	271	16	the	the	DET
iajs-3023	271	17	inclusion	inclusion	NOUN
iajs-3023	271	18	problems	problem	NOUN
iajs-3023	271	19	and	and	CCONJ
iajs-3023	271	20	fixed	fix	VERB
iajs-3023	271	21	point	point	NOUN
iajs-3023	271	22	of	of	ADP
iajs-3023	271	23	nonexpansive	nonexpansive	ADJ
iajs-3023	271	24	mappings	mapping	NOUN
iajs-3023	271	25	,	,	PUNCT
iajs-3023	271	26	mathematics	mathematic	NOUN
iajs-3023	271	27	,	,	PUNCT
iajs-3023	271	28	(	(	PUNCT
iajs-3023	271	29	mdpi	mdpi	PROPN
iajs-3023	271	30	)	)	PUNCT
iajs-3023	271	31	,	,	PUNCT
iajs-3023	271	32	2019	2019	NUM
iajs-3023	271	33	,	,	PUNCT
iajs-3023	271	34	7(167	7(167	NUM
iajs-3023	271	35	)	)	PUNCT
iajs-3023	271	36	.	.	PUNCT
iajs-3023	272	1	15.jong	15.jong	NUM
iajs-3023	272	2	,	,	PUNCT
iajs-3023	272	3	k.	k.	PROPN
iajs-3023	272	4	;	;	PUNCT
iajs-3023	272	5	truong	truong	PROPN
iajs-3023	272	6	,	,	PUNCT
iajs-3023	272	7	m.new	m.new	ADJ
iajs-3023	272	8	iterative	iterative	NOUN
iajs-3023	272	9	methods	method	NOUN
iajs-3023	272	10	for	for	ADP
iajs-3023	272	11	finding	find	VERB
iajs-3023	272	12	a	a	DET
iajs-3023	272	13	common	common	ADJ
iajs-3023	272	14	zero	zero	NUM
iajs-3023	272	15	of	of	ADP
iajs-3023	272	16	a	a	DET
iajs-3023	272	17	finite	finite	ADJ
iajs-3023	272	18	familiy	familiy	NOUN
iajs-3023	272	19	of	of	ADP
iajs-3023	272	20	monotone	monotone	ADJ
iajs-3023	272	21	operators	operator	NOUN
iajs-3023	272	22	in	in	ADP
iajs-3023	272	23	hilbert	hilbert	PROPN
iajs-3023	272	24	space	space	NOUN
iajs-3023	272	25	,	,	PUNCT
iajs-3023	272	26	bull	bull	NOUN
iajs-3023	272	27	.	.	PUNCT
iajs-3023	273	1	korean	korean	ADJ
iajs-3023	273	2	math	math	PROPN
iajs-3023	273	3	.	.	PUNCT
iajs-3023	274	1	soc	soc	PROPN
iajs-3023	274	2	.	.	PUNCT
iajs-3023	275	1	2017	2017	NUM
iajs-3023	275	2	,	,	PUNCT
iajs-3023	275	3	54	54	NUM
iajs-3023	275	4	,	,	PUNCT
iajs-3023	275	5	4	4	NUM
iajs-3023	275	6	,	,	PUNCT
iajs-3023	275	7	1347	1347	NUM
iajs-3023	275	8	-	-	SYM
iajs-3023	275	9	1359	1359	NUM
iajs-3023	275	10	,	,	PUNCT
iajs-3023	275	11	16.xu.k	16.xu.k	NUM
iajs-3023	275	12	.	.	PUNCT
iajs-3023	275	13	,	,	PUNCT
iajs-3023	275	14	viscosity	viscosity	NOUN
iajs-3023	275	15	approximations	approximation	NOUN
iajs-3023	275	16	method	method	NOUN
iajs-3023	275	17	for	for	ADP
iajs-3023	275	18	nonexpansive	nonexpansive	ADJ
iajs-3023	275	19	mappings	mapping	NOUN
iajs-3023	275	20	,	,	PUNCT
iajs-3023	275	21	j.	j.	PROPN
iajs-3023	275	22	math	math	PROPN
iajs-3023	275	23	.	.	PUNCT
iajs-3023	276	1	anal	anal	PROPN
iajs-3023	276	2	.	.	PUNCT
iajs-3023	276	3	appl	appl	PROPN
iajs-3023	276	4	.	.	PUNCT
iajs-3023	277	1	2004	2004	NUM
iajs-3023	277	2	,	,	PUNCT
iajs-3023	277	3	298	298	NUM
iajs-3023	277	4	,	,	PUNCT
iajs-3023	277	5	1	1	NUM
iajs-3023	277	6	,	,	PUNCT
iajs-3023	277	7	279	279	NUM
iajs-3023	277	8	-	-	SYM
iajs-3023	277	9	291	291	NUM
iajs-3023	277	10	.	.	PUNCT
iajs-3023	278	1	17.chang	17.chang	NUM
iajs-3023	278	2	,	,	PUNCT
iajs-3023	278	3	s.	s.	PROPN
iajs-3023	278	4	on	on	ADP
iajs-3023	278	5	chidume	chidume	PROPN
iajs-3023	278	6	's	's	PART
iajs-3023	278	7	open	open	ADJ
iajs-3023	278	8	equestions	equestion	NOUN
iajs-3023	278	9	and	and	CCONJ
iajs-3023	278	10	approximate	approximate	ADJ
iajs-3023	278	11	solutions	solution	NOUN
iajs-3023	278	12	of	of	ADP
iajs-3023	278	13	multivalued	multivalue	VERB
iajs-3023	278	14	strongly	strongly	ADV
iajs-3023	278	15	accretive	accretive	ADJ
iajs-3023	278	16	mapping	mapping	NOUN
iajs-3023	278	17	equations	equation	NOUN
iajs-3023	278	18	in	in	ADP
iajs-3023	278	19	banach	banach	NOUN
iajs-3023	278	20	space	space	NOUN
iajs-3023	278	21	,	,	PUNCT
iajs-3023	278	22	j.	j.	PROPN
iajs-3023	278	23	math	math	PROPN
iajs-3023	278	24	.	.	PUNCT
iajs-3023	279	1	anal	anal	PROPN
iajs-3023	279	2	.	.	PUNCT
iajs-3023	280	1	appl	appl	PROPN
iajs-3023	280	2	1997	1997	NUM
iajs-3023	280	3	,	,	PUNCT
iajs-3023	280	4	216	216	NUM
iajs-3023	280	5	,	,	PUNCT
iajs-3023	280	6	1	1	NUM
iajs-3023	280	7	,	,	PUNCT
iajs-3023	280	8	94	94	NUM
iajs-3023	280	9	-	-	SYM
iajs-3023	280	10	111	111	NUM
iajs-3023	280	11	.	.	PUNCT
iajs-3023	280	12	18	18	NUM
iajs-3023	280	13	.	.	PUNCT
iajs-3023	281	1	xu	xu	PROPN
iajs-3023	281	2	,	,	PUNCT
iajs-3023	281	3	g.	g.	PROPN
iajs-3023	281	4	,weak	,weak	PUNCT
iajs-3023	281	5	and	and	CCONJ
iajs-3023	281	6	strong	strong	ADJ
iajs-3023	281	7	convergence	convergence	NOUN
iajs-3023	281	8	theorems	theorem	NOUN
iajs-3023	281	9	for	for	ADP
iajs-3023	281	10	strict	strict	ADJ
iajs-3023	281	11	pseudo	pseudo	NOUN
iajs-3023	281	12	-	-	NOUN
iajs-3023	281	13	contraction	contraction	NOUN
iajs-3023	281	14	in	in	ADP
iajs-3023	281	15	hilbert	hilbert	NOUN
iajs-3023	281	16	space	space	NOUN
iajs-3023	281	17	,	,	PUNCT
iajs-3023	281	18	j.	j.	PROPN
iajs-3023	281	19	math	math	PROPN
iajs-3023	281	20	.	.	PUNCT
iajs-3023	282	1	anal	anal	PROPN
iajs-3023	282	2	.	.	PUNCT
iajs-3023	282	3	appl	appl	PROPN
iajs-3023	282	4	.	.	PUNCT
iajs-3023	283	1	2017,329	2017,329	NUM
iajs-3023	283	2	,	,	PUNCT
iajs-3023	283	3	336	336	NUM
iajs-3023	283	4	-	-	SYM
iajs-3023	283	5	346	346	NUM
iajs-3023	283	6	.	.	PUNCT
iajs-3023	284	1	19.suzuki	19.suzuki	NUM
iajs-3023	284	2	,	,	PUNCT
iajs-3023	284	3	t.	t.	NOUN
iajs-3023	284	4	,strong	,strong	PUNCT
iajs-3023	284	5	convergence	convergence	NOUN
iajs-3023	284	6	of	of	ADP
iajs-3023	284	7	krasnoselskii	krasnoselskii	PROPN
iajs-3023	284	8	and	and	CCONJ
iajs-3023	284	9	mann	mann	PROPN
iajs-3023	284	10	's	's	PART
iajs-3023	284	11	type	type	NOUN
iajs-3023	284	12	sequences	sequence	NOUN
iajs-3023	284	13	for	for	ADP
iajs-3023	284	14	oneparameter	oneparameter	NOUN
iajs-3023	284	15	nonexpansive	nonexpansive	ADJ
iajs-3023	284	16	semigroups	semigroup	NOUN
iajs-3023	284	17	without	without	ADP
iajs-3023	284	18	bochner	bochner	NOUN
iajs-3023	284	19	integrals	integral	NOUN
iajs-3023	284	20	,	,	PUNCT
iajs-3023	284	21	j.	j.	PROPN
iajs-3023	284	22	math	math	PROPN
iajs-3023	284	23	.	.	PUNCT
iajs-3023	285	1	anal	anal	PROPN
iajs-3023	285	2	.	.	PUNCT
iajs-3023	285	3	appl	appl	PROPN
iajs-3023	285	4	.	.	PROPN
iajs-3023	286	1	2005	2005	NUM
iajs-3023	286	2	,	,	PUNCT
iajs-3023	286	3	305	305	NUM
iajs-3023	286	4	,	,	PUNCT
iajs-3023	286	5	227	227	NUM
iajs-3023	286	6	-	-	SYM
iajs-3023	286	7	239	239	NUM
iajs-3023	286	8	.	.	PUNCT