Join Nostr
2025-08-25 08:51:42 UTC

Greg Egan on Nostr: ...

∑ᵢ₌₀ⁿ⁻²∑ⱼ₌ᵢ₊₁ⁿ⁻¹𝑠𝑖𝑛((𝑗−𝑖)π/𝑛)⁴=3𝑛²/16

Well, obviously.