MathDB
x^[x]=9/2

Source: 2002 Austria Beginners' Competition p2

October 4, 2022
floor functionalgebra

Problem Statement

Prove that there are no xR+x\in\mathbb{R}^+ such that xx=92.x^{\lfloor x \rfloor }=\frac92.