cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A263283 Minimum number of characters required to express n in Peano Arithmetic.

Table of values

n a(n)
0 1
1 2
2 3
3 4
4 5
5 6
6 7
7 8
8 9
9 9
10 10
11 11
12 10
13 11
14 12
15 11
16 11
17 12
18 12
19 13
20 12
21 13
22 14
23 15
24 13
25 13
26 14
27 14
28 14
29 15
30 14
31 15
32 15
33 16
34 16
35 15
36 15
37 16
38 17
39 16
40 16
41 17
42 16
43 17
44 17
45 16
46 17
47 18
48 16
49 17
50 17
51 17
52 17
53 18
54 17
55 18
56 18
57 18
58 19
59 20
60 17
61 18
62 19
63 18
64 17
65 18
66 19
67 20

List of values

[1, 2, 3, 4, 5, 6, 7, 8, 9, 9, 10, 11, 10, 11, 12, 11, 11, 12, 12, 13, 12, 13, 14, 15, 13, 13, 14, 14, 14, 15, 14, 15, 15, 16, 16, 15, 15, 16, 17, 16, 16, 17, 16, 17, 17, 16, 17, 18, 16, 17, 17, 17, 17, 18, 17, 18, 18, 18, 19, 20, 17, 18, 19, 18, 17, 18, 19, 20]

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.