McCarthy 91 function: Difference between revisions

Content deleted Content added
m Code: WP:LINKs: update-standardizes, needless WP:PIPEs > WP:NOPIPEs.
m Proof: typo fixed: prooven -> proven
Line 165:
This can be used to show ''M''(''n'') = ''M''(101) = 91 for 90 ≤ ''n'' ≤ 100:
M(90) = M(91), M(n) = M(n + 1) was proovenproven above
= …
= M(101), by definition