Talk:Check Machin-like formulas: Difference between revisions

Content added Content deleted

Inline

Revision as of 15:49, 1 May 2015 (view source) rosettacode>TobyK (→‎Task is wrong) ← Older edit		Revision as of 20:14, 1 May 2015 (view source) rosettacode>Arbautjc (→‎Task is wrong) Newer edit →
Line 54:		Line 54:


	Agreed that technically you also need to show that \|RHS\| < pi*3/4 to complete a formal proof, but since \|arctan(x)\| < \|x\| I would say that \|RHS\| < 2 is obvious by inspection of the denominators. I may reword the description to mention this [[User:TobyK\|TobyK]] ([[User talk:TobyK\|talk]])		:Agreed that technically you also need to show that \|RHS\| < pi*3/4 to complete a formal proof, but since \|arctan(x)\| < \|x\| I would say that \|RHS\| < 2 is obvious by inspection of the denominators. I may reword the description to mention this [[User:TobyK\|TobyK]] ([[User talk:TobyK\|talk]])
			::Yes, it's easy to amend :) [[User:Arbautjc\|Arbautjc]] ([[User talk:Arbautjc\|talk]]) 20:14, 1 May 2015 (UTC)