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.

A171975 Integer part of the circumsphere radius of a regular tetrahedron with edge length n.

Original entry on oeis.org

0, 1, 1, 2, 3, 3, 4, 4, 5, 6, 6, 7, 7, 8, 9, 9, 10, 11, 11, 12, 12, 13, 14, 14, 15, 15, 16, 17, 17, 18, 18, 19, 20, 20, 21, 22, 22, 23, 23, 24, 25, 25, 26, 26, 27, 28, 28, 29, 30, 30, 31, 31, 32, 33, 33, 34, 34, 35, 36, 36, 37, 37, 38, 39, 39, 40, 41, 41, 42, 42, 43, 44, 44, 45, 45
Offset: 1

Views

Author

Reinhard Zumkeller, Jan 20 2010

Keywords

Comments

-3 <= 4*a(n) - 3*A171974(n) < 3;
a(n)*A171974(n) <= A007590(n).

Crossrefs

Cf. A171973, A171972, A022840. Beatty sequence of A187110.

Programs

  • Haskell
    a171975 = floor . (/ 4) . (* sqrt 6) . fromInteger
    -- Reinhard Zumkeller, Dec 15 2012

Formula

a(n) = floor(n*sqrt(6)/4).