Point-in-Time Universe Size

xxxxxxxxxxxx xxxx xx xxx xxxx xxxxxxxxx xxxxxxx xx xxxxxxxxxxx, xxx xx xxxxx xxxxxx xxxxxxxx xxxx xxx xxxxxxxx: xxxxxx xxxxx'x xxxx xx xxxxxx xxxxxxxxx xxx xxxxxxx xx xxxxxxxxx xxxxxxx xxxxxxx. xxxxx xxxx xxxx xxxxxxxx xx xxx xxxxxxxx xxx xxxxxxx, xx xxx xxxxxxxx xxxxxxx xxxxx xxxx xxx xxxxxxxxx.

xxx xxx xx x xxxxx-xx-xxxx xxxxxxxx: xxx xxx xxxx, xxx xxx xx xxxxx xxxx xxxx xxxxxxxx xxxxxx xxxx. xxxx xxxxxxx xxxx xxx xxx xxxx.

xxxxxxxxx xxxxxxxx_xxxxx(xxxxx, xxxxxxxx).

• xxxxx xx xx xxxxxxxx xxxx xx xxxxxxx xxxxx.
• xxxxxxxx xx x xxxx xx (xxxxxx, xxxxx, xxx) xxxxxx. xxx xxxxxxx xx xxxx xx xxxxx xxxx x xxxx xxxxx <= x <= xxx, xx xxxx xxxx xxx xxxxxxxxx: xxx xxxxxxxxx xxxx xx xxxxx x xxx xx xxxxxxxxxx.
• xxx xxx xx xxxx, xxxxxxx xxx xxxx xx xxxxx xxxxxx xxx xxx xx xxx xxxx.

xxxxxx x xxxx xx (xxxx, xxxxx), xxxxxx xx xxxx xxxxxxxxx, xxxxxx xxx xxxxxx xx xxxxxxxx xxxx xx xxxx xxxx.

xxxxxxxx

xxxxxxxx_xxxxx([x, x, x, x], [("x", x, x)])
# [(x, x), (x, x), (x, x), (x, x)]

xxxxxxxx_xxxxx([x], [("x", x, xxxx)])
# [(x, x)]

xxx xxxxx xxxxxxx xxxx xxxx xxxxxxxxxx: xxx xxxx xx xxxxxxx xx xxx xxxxx xxxx xxx xx xxx xxx xxxx, xxx xx xxxxxxx xx xxx xxxx xxxxxx xxxx.

xxxxxxxxxxx

• x <= xxx(xxxxx) <= xx^x xxx x <= xxx(xxxxxxxx) <= xx^x.
• xxxxx xxx xxxxxxxx xxx xxx xxxxxx xx xxx xxxxx. xxxx xxxxxxxxxx xxxx xxx xxx xxxxx xx xxx xxxxxx.
• x xxxxxxx xxxx xxx < xxxxx xx xxxxxxxxxx xxx xx xxxxx xxxx xx xxx xxxx. xxxx xxxxxxxx xxxx xxxxxxx x xxx xx xxxxxx xxxx x xxxxxxxx xxxxx.
• xxx xxxxxx xxxxxxxxxxx xxxx xxxx xxx,xxx xxxxx xxxxxxx xx,xxx xxxxxxx xxxxxxxxxxx xxxxxxxx. xxxxxxx xxxxx xxxxxxx xxx xxxxx xxxx xx ( x(x xxxx x) = x xxxxx xx^{x} ) xxx xxxx xxx xxxxxx. xxxx xxx xxxxxxxx xxxx xxxxxx xxx xxxxx.