Default display size:

\forall N \in ℕ : 2^{(2^{N})} - 1 = \prod_{n = 0}^{N - 1} (2^{(2^{n})} + 1)

Scaled up to 3 times the size:

\forall N \in ℕ : 2^{(2^{N})} - 1 = \prod_{n = 0}^{N - 1} (2^{(2^{n})} + 1)

This mathematical notation was produced from the following HTML, which contains MathML in a <math> tag:


      <math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
      <mi mathvariant="normal">&#x2200;</mi>
      <mi>N</mi>
      <mo>&#x2208;</mo>
      <mrow data-mjx-texclass="ORD">
        <mi>&#x02115;</mi>
      </mrow>
      <mo>:</mo>
      <msup>
        <mn>2</mn>
        <mrow data-mjx-texclass="ORD">
          <mo stretchy="false">(</mo>
          <msup>
            <mn>2</mn>
            <mi>N</mi>
          </msup>
          <mo stretchy="false">)</mo>
        </mrow>
      </msup>
      <mo>&#x2212;</mo>
      <mn>1</mn>
      <mo>=</mo>
      <munderover>
        <mo data-mjx-texclass="OP">&#x220F;</mo>
        <mrow data-mjx-texclass="ORD">
          <mi>n</mi>
          <mo>=</mo>
          <mn>0</mn>
        </mrow>
        <mrow data-mjx-texclass="ORD">
          <mi>N</mi>
          <mo>&#x2212;</mo>
          <mn>1</mn>
        </mrow>
      </munderover>
      <mrow data-mjx-texclass="OPEN">
        <mo minsize="2.047em" maxsize="2.047em">(</mo>
      </mrow>
      <msup>
        <mn>2</mn>
        <mrow data-mjx-texclass="ORD">
          <mo stretchy="false">(</mo>
          <msup>
            <mn>2</mn>
            <mi>n</mi>
          </msup>
          <mo stretchy="false">)</mo>
        </mrow>
      </msup>
      <mo>+</mo>
      <mn>1</mn>
      <mrow data-mjx-texclass="CLOSE">
        <mo minsize="2.047em" maxsize="2.047em">)</mo>
      </mrow>
    </math>

This MathML was automatically generated by MathJax, based on the following MathJax markup (except in this version the <mi mathvariant="double-struck">N</mi> has been replaced with unicode for blackboard bold N <mi>ℕ</mi>):


      $$\forall N\in\mathbb N:2^{(2^N)}-1=\prod_{n=0}^{N-1}\biggl(2^{(2^n)}+1\biggr)$$

This MathJax markup was taken from the Codidact post Prime factor pattern in numbers one less than a power of 2.

No JavaScript is running on this page. The automatic generation of the MathML was done by right clicking on the mathematical notation in the Codidact post, and it was then pasted into the source HTML of this page. This is a single HTML page with no dependencies other than a browser (except this version downloads mathfonts for consistency, but still without JavaScript).

The source code for this page can be found on GitHub.