real < 3

0
real < 3
0.056149005889893